On Tue, 26 Mar 2002, Diego Novillo wrote: > How can we add notes to an existing PR? I tried sending mail to both > gcc-prs@gcc.gnu.org and gcc-gnats@gcc.gnu.org but they both bounced. > Never mind. I hadn't formatted the Subject line properly. Diego.