Re: [PATCH 1/3 v5] Add new internal problem for demangler warnings

Eli Zaretskii
2014-06-09T16:19:29Z

> Date: Mon, 9 Jun 2014 16:23:15 +0100
> From: Gary Benson <gbenson@redhat.com>
> Cc: Andrew Burgess <aburgess@broadcom.com>, Doug Evans <xdje42@gmail.com>,
> Eli Zaretskii <eliz@gnu.org>, Florian Weimer <fw@deneb.enyo.de>,
> Mark Kettenis <mark.kettenis@xs4all.nl>,
> Pedro Alves <palves@redhat.com>, Tom Tromey <tromey@redhat.com>
>
> This patch adds a new category of internal problem for demangler
> warnings. Demangler warnings behave in much the same way as internal
> warnings except that they do not create core files and no option to
> change this is presented to the user.

The documentation changes are still OK.

Thanks.