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. Thanks. Diego.