On 9 April 2012 20:25, François Dumont wrote: > > I don't think I have the necessary rights to close the PR on bugzilla, I > haven't been able to do so. You should be able to using your @gcc.gnu.org account. What if you assign it to yourself first?