Hey Rasmus I just found this bug: https://bugs.php.net/bug.php?id=76553
Has this bug been like that before the migration, too? Or did something go wrong? Regards, Niklas Am Do., 19. Juli 2018 um 10:35 Uhr schrieb marius adrian popa <map...@gmail.com>: > > Hello Rasmus, > > I can't access previous patches > > https://bugs.php.net/patch-display.php?bug_id=62300&patch=0&revision=latest > > On Tue, Jul 17, 2018 at 11:38 PM, Rasmus Lerdorf <ras...@lerdorf.com> wrote: > > > I need to move bugs.php.net to another server sometime today. I won't be > > able to do it without a little bit of downtime as I have to stop new > > activity on the existing box, copy the DB over and then point DNS to the > > new box. The DNS TTL is only 5 minutes, so it shouldn't be unavailable for > > much longer than that. > > > > Hopefully the new box will be a bit quicker too. It is moving from PHP 5.5 > > to 7.2 on faster hardware. > > > > -Rasmus > > -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
