On Fri, Feb 28, 2014 at 3:15 PM, Peter Wortmann <scpmw@leeds.ac.uk> wrote:
Johan Tibell wrote:> Lets try to get our name standardized and pushed into GDB. It's
> hopefully as simple as sending an email to the GDB devs.

Strictly speaking standardization is the job of the DWARF format
committee, which seem to currently be in the process of specifying
DWARF5[1]. Not quite sure we have a strong enough case, but if we wanted
our own language ID these would probably be the right people to ask.

I just emailed the DWARF discussion mailing list to sort this out.

-- Johan