public inbox for gcc-patches@gcc.gnu.org
 help / color / mirror / Atom feed
From: Tom de Vries <Tom_deVries@mentor.com>
To: Gerald Pfeifer <gerald@pfeifer.com>
Cc: Arnaud Charlet <charlet@adacore.com>,
	GCC Patches	<gcc-patches@gcc.gnu.org>
Subject: Re: [PATCH] Fix warnings from including fdl.texi into gnat-style.texi
Date: Tue, 08 Dec 2015 09:13:00 -0000	[thread overview]
Message-ID: <56669F1E.4010202@mentor.com> (raw)
In-Reply-To: <alpine.LSU.2.11.1503231556580.15042@tuna.site>

On 23/03/15 16:00, Gerald Pfeifer wrote:
> On Fri, 20 Mar 2015, Tom de Vries wrote:
>>> The gnat-style.texi part is OK. I cannot approve the fdl part though.
>> Gerald,
>>
>> Can you approve the fdl part?
>
> Let's assume I can.  Okay.
>
> Can you just describe the _why_ a bit in a @comment (in simple
> words beyond showing the error message), that is, what the issue
> is and how you avoid it?  That should help someone coming in
> later, trying to understand.
>

Gerald,

was the 'Okay' above:
- a figure of speech (as I read it), or
- an actual approval (conditional on the adding of the comment)
?

Thanks,
- Tom

  parent reply	other threads:[~2015-12-08  9:13 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-02-22 15:36 Tom de Vries
2015-02-22 18:04 ` Arnaud Charlet
2015-03-20 10:11   ` Tom de Vries
2015-03-23 15:00     ` Gerald Pfeifer
2015-06-14 14:13       ` Tom de Vries
2015-08-24 15:18         ` [PING][PATCH] " Tom de Vries
2015-08-24 15:26           ` Arnaud Charlet
2015-12-08  9:13       ` Tom de Vries [this message]
2015-12-08 18:10         ` [PATCH] " Gerald Pfeifer
2015-12-08 20:26           ` Mike Stump
2015-12-14  8:37           ` Tom de Vries

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=56669F1E.4010202@mentor.com \
    --to=tom_devries@mentor.com \
    --cc=charlet@adacore.com \
    --cc=gcc-patches@gcc.gnu.org \
    --cc=gerald@pfeifer.com \
    /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).