On Tue, Aug 05, 2003 at 11:30:04PM +0200, Bernardo Innocenti wrote: > Is it ok to commit the patch now? Yes. The FSF registrar sent mail to the gcc maintainers list confirming your assignment. r~