On 05/12/2012 07:59 AM, Ian Lance Taylor wrote: > Anybody @gcc.gnu.org is supposed to get various permissions in bugzilla. > I have no idea why these were not turned on for fdumont@gcc.gnu.org. I > just turned them on. Weird. Thanks a lot Ian. Francois, please double check that now you are Ok. Thanks, Paolo.