On 17.01.2017 at 17:35, Stanislav Malyshev wrote: >> People can now cross-reference issues, discuss, get notifications, and >> have some simplified/readable markup. > > All this, except for markup, is available on bugs.php.net. And I don't > think markup is that important - I'm pretty sure one can discuss bugs in > plain text.
Well, what is missing is a simple means to ping another developer – currently the only way to do so is assigning the ticket to them, but that's not always appropriate. -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
