On Tue, Jun 10, 2008 at 04:29:07PM +0200, Jan Kratochvil wrote: > Still I do not remember I would see GNATS URLS, I see only the notation PR #. Yeah. In my opinion, as long as we end up with the old PR number recorded in new bugs somewhere, we no longer need GNATS. -- Daniel Jacobowitz CodeSourcery