Hi! > 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.
True. Should not be hard to implement though I think. -- Stas Malyshev smalys...@gmail.com -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
