From: Mark Mitchell <mark@codesourcery.com>
To: Volker Reichelt <reichelt@igpm.rwth-aachen.de>
Cc: "gcc@gcc.gnu.org" <gcc@gcc.gnu.org>
Subject: Re: GNATS policy question
Date: Fri, 13 Dec 2002 08:39:00 -0000 [thread overview]
Message-ID: <13370000.1039796553@warlock.codesourcery.com> (raw)
In-Reply-To: <200212130953.KAA51568@numa6.igpm.rwth-aachen.de>
> Low priority sounds good to me.
>
> Three final questions:
> * Should we add "[error-recovery]" to the synopsis line so that one does
> not stumble over those bugs over and over again?
No; I think that will get too crowded. But a note in the audit trail
would be nice.
> * Shall I prepare a patch for the policies section of gnatswrite.html
> to document the procedure?
Yes, please.
> * There are some bugs in GNATS that were closed because a "confused by
> earlier ..." message was issued. Shall I reopen them?
No, it's really not worth spending that much effort on this class of
bugs. Once we never, ever silently generate bad code we can worry much
more about these kinds of things... :-)
--
Mark Mitchell mark@codesourcery.com
CodeSourcery, LLC http://www.codesourcery.com
prev parent reply other threads:[~2002-12-13 16:26 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-12-11 8:01 Volker Reichelt
2002-12-11 22:33 ` Mark Mitchell
2002-12-12 3:35 ` Volker Reichelt
2002-12-12 10:08 ` Mark Mitchell
2002-12-13 1:31 ` Volker Reichelt
2002-12-13 8:39 ` Mark Mitchell [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=13370000.1039796553@warlock.codesourcery.com \
--to=mark@codesourcery.com \
--cc=gcc@gcc.gnu.org \
--cc=reichelt@igpm.rwth-aachen.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).