Re: [PHP-DEV] bugs.php.net usability, migration to a different tool

2018-08-09 Thread Hoffman, Zachary Robert
On Thu, 2018-08-09 at 15:46 +0200, Johannes Schlüter wrote: > Hi Nikita, > > thanks for the heads-up. I committed a potential fix (untested) hope it > works once deployed in an hour or so. > > Zachary, you might review my fix http://git.php.net/?p=web/bugs.git;a=c > ommit;h=5d86832595a5e694859f45

Re: [PHP-DEV] bugs.php.net usability, migration to a different tool

2018-08-09 Thread Johannes Schlüter
Hi Nikita, thanks for the heads-up. I committed a potential fix (untested) hope it works once deployed in an hour or so. Zachary, you might review my fix http://git.php.net/?p=web/bugs.git;a=c ommit;h=5d86832595a5e694859f45aaaf554cf24a24af39 johannes On Do, 2018-08-09 at 15:26 +0200, Nikita Pop

Re: [PHP-DEV] bugs.php.net usability, migration to a different tool

2018-08-09 Thread Nikita Popov
On Thu, Aug 9, 2018 at 1:54 AM, Hoffman, Zachary Robert wrote: > > > On Wed, 2018-08-08 at 18:16 +0200, Johannes Schlüter wrote: > > > > On August 8, 2018 6:06:00 PM GMT+02:00, "Johannes Schlüter" < > > johan...@schlueters.de> wrote: > > > > > > > > > On August 8, 2018 5:59:51 PM GMT+02:00, "Hoff