Well, I ran the update script manually on the box. Will need to check why the crown job isn’t working. The script itself is fine it looks like.
On Sat, Jun 16, 2018 at 17:30 Kalle Sommer Nielsen <[email protected]> wrote: > Den lør. 16. jun. 2018 kl. 11.30 skrev Christoph M. Becker < > [email protected]>: > > 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 > > Seems like Rasmus fixed it given his recent few commits > > > > -- > regards, > > Kalle Sommer Nielsen > [email protected] >
