[PHP-DEV] [PATCH] for bug#10721 From: Jeroen van Wolffelaar (jeroen <email protected>)
Date: 07/09/01

Hi,

I've made a patch for 10721, based on justin's, and it now works
correctly.

Andi/Zeev, would you please commit this?

Jeroen

Jeroen van Wolffelaar
Jeroen <email protected>
http://www.A-Eskwadraat.nl/~jeroen

-- 
PHP Development Mailing List <http://www.php.net/>
To unsubscribe, e-mail: php-dev-unsubscribe <email protected>
For additional commands, e-mail: php-dev-help <email protected>
To contact the list administrators, e-mail: php-list-admin <email protected>