On Sun, 17 Sep 2006, Joseph S. Myers wrote: > Looks good to me. (Not that we actually have maintainers for > maintainer-scripts.) Your advise on issues like this is very welcome in any case, Joseph! I applied the patch and also updated the gccadmin account on gcc.gnu.org accordingly. Gerald