> I wouldn't mind having the list @gcc.gnu.org, since gcc is allegedly > the master copy. It's not, neither is. We've been manually keeping them in sync in both directions.