On 12/16/2015 10:30 PM, Jason Merrill wrote:
OK with those changes.
All changes done, and all patches pushed. Thank you very much!! -- Pierre-Marie de Rodat
- Re: [PATCHES, PING*5] Enhance standard DWARF for Ada Jason Merrill
- Re: [PATCHES, PING*5] Enhance standard DWARF fo... Pierre-Marie de Rodat
- [PATCHES, PING] Enhance standard DWARF for ... Pierre-Marie de Rodat
- Re: [PATCHES, PING*2] Enhance standard ... Pierre-Marie de Rodat
- Re: [PATCHES, PING*5] Enhance standard DWAR... Jason Merrill
- Re: [PATCHES, PING*5] Enhance standard ... Pierre-Marie de Rodat
- Re: [PATCHES, PING*5] Enhance stand... Jason Merrill
- Re: [PATCHES, PING*5] Enhance ... Pierre-Marie de Rodat
- Re: [PATCHES, PING*5] Enha... Jason Merrill
- Re: [PATCHES, PING*5] ... Jakub Jelinek
- Re: [PATCHES, PING*5] ... Eric Botcazou
- Re: [PATCHES, PING*5] ... Andreas Schwab
- Re: [PATCHES, PING*5] ... Eric Botcazou
- Re: [PATCHES, PING*5] ... Pierre-Marie de Rodat
- Re: [PATCHES, PING*5] ... Pierre-Marie de Rodat
- Re: [PATCHES, PING*5] ... Pierre-Marie de Rodat
- Re: [PATCHES, PING*5] ... Jason Merrill
- Re: [PATCHES, PING*5] ... Pierre-Marie de Rodat
