[v3] fix libstdc++/53263

[Jonathan Wakely]

On 12 May 2012 00:08, Jonathan Wakely wrote:
> On 11 May 2012 23:46, Paolo Carlini wrote:
>> On 05/11/2012 09:34 PM, François Dumont wrote:
>>>
>>> I check my Bugzilla account Permissions page and it is written:
>>>
>>> There are no permission bits set on your account.
>>>
>>> I simply don't know who to ask permissions. Should I file a bugzilla entry
>>> for that ?
>>
>> Didn't Jon provide some guidance about this? Jon?
>
> My understanding is that any @gcc.gnu.org account should have full
> permissions to update and close any bugs.
>
> I'v CC'd Ian as I think he can view and edit any user's bugzilla
> permissions and might know why fdumont@gcc doesn't have the full set
> of permissions that a gcc.gnu.org account usually has, or at least
> could set them.

Oops, Paolo pointed out I didn't actually CC Ian... done this time!
Ian, see above, we'd be grateful for your assistance.