On Sun, 21 Dec 2008 17:15:30 +0100, Andreas Schwab wrote:
> Jan Kratochvil <jan.kratochvil@redhat.com> writes:
> 
> > +   Please email any bugs, comments, and/or additions to this file to:
> > +   bug-gdb@prep.ai.mit.edu  */
> 
> Please remove this paragraph.

Thanks for the notice, going to commit this patch as obvious.

Assuming PR GDB/# just now should use the new BZ numbers as there is
fortunately no ambiguity due to the shift by 7105.


Regards,
Jan