From mboxrd@z Thu Jan  1 00:00:00 1970
From: rodrigc@gcc.gnu.org
To: gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, nobody@gcc.gnu.org, rodrigc@gcc.gnu.org, tromey@redhat.com
Subject: Re: c++/712: bad formatting of warning message
Date: Sat, 28 Jul 2001 15:12:00 -0000
Message-id: <20010728221219.31892.qmail@sourceware.cygnus.com>
X-SW-Source: 2001-07/msg00755.html
List-Id: <gcc-prs.sourceware.org>

Synopsis: bad formatting of warning message

State-Changed-From-To: feedback->closed
State-Changed-By: rodrigc
State-Changed-When: Sat Jul 28 15:12:19 2001
State-Changed-Why:
    Feedback not provided

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=712&database=gcc