On Fri, Jan 04, 2013 at 11:11:54PM +0100, Michael Grünewald wrote: > The PRs used to be listed by portsmon but I recently > noticed they disappeared. [1] portsmon is running off of a stale mirror of the database. I keep forgetting to go figure out the new mirror process. I apologize. mcl