Hi, On Mon, 2013-06-17 at 11:07 +0200, Ferenc Kovacs wrote: > I suppose somebody added manually (maybe selected a bad PR.
Yes, most likely. > I agree that there should be a button to remove the link to a given PR and > it would be also nice if there would be an entry in the history about who > linked/unlinked a PR. I will look into this. The whole PR thing currently is not nicely done, I always hoped somebody improves it :) johannes -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
