On 16.06.2018 at 08:05, Kalle Sommer Nielsen wrote: > sgrv20 aka bugs seems to not have updated from Git since November, any > chance someone with access can take a look at this given that 7.3 have > already began its pre-release cycle. > > I remember Derick fixing it in the past, but I'm not sure what could > be up with it this time around as this server seems to have issues a > few times yearly for some reason.
Ah, thanks! I've already wondered why commit b902b49[1] had not been rolled out yet. BTW: it seems bugs.php.net is not listed on the systems page[2]. [1] <https://github.com/php/web-bugs/commit/b902b49625e2c99fa61e693cd5b0ee785dbe38fe> [2] <https://wiki.php.net/systems> -- Christoph M. Becker -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
