[PATCH] Add extensions to dwarf2.def

[Pierre-Marie de Rodat]

On 08/18/2015 11:36 AM, Manuel López-Ibáñez wrote:
> On 18/08/15 10:32, Pedro Alves wrote:
>> On 08/14/2015 10:49 AM, Pierre-Marie de Rodat wrote:
>>
>>> I also tried to create the new pages on the wiki but it says "You are
>>> not allowed to edit this page."
>>> (<https://gcc.gnu.org/wiki/DW_AT_GNU_numerator_denominator?action=edit>,
>>> I'm logged in as pmderodat). Does anyone know how I should proceed?
>>>
>>
>> I believe you need to be added to the editor group:
>>
>>    https://gcc.gnu.org/wiki/EditorGroup
>>
>> You need someone on that list to add you.  (I'm not on the list).
>
> Added. Please try now.

I successfuly created the two wiki pages, thanks to both of you!

As a side note, for some reason I could no longer login and I had to 
re-create my account (same identifier, which worked). I'm not sure, but 
I think it's the second time I had to do that (the first time I thought 
I did something wrong...).

-- 
Pierre-Marie de Rodat