Hi 2015-07-10 15:56 GMT+02:00 Ferenc Kovacs <[email protected]>: > FYI: I've just pushed this change.
Thank you, it will be very handy to sort out bugs from now on -- regards, Kalle Sommer Nielsen [email protected] -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
