GNU bug report logs - #38846
[PATCH 0/4] Move 'HACKING' to the manual, and a proposal for commit access

Previous Next

Full log

Message #65 received at 38846 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: zimoun <zimon.toutoune <at> gmail.com>
Cc: 38846 <at> debbugs.gnu.org
Subject: Re: [bug#38846] [PATCH 4/4] DRAFT doc: Add a cooption policy for
 commit access.
Date: Mon, 06 Jan 2020 10:30:08 +0100

Hi!

zimoun <zimon.toutoune <at> gmail.com> skribis:

> On Thu, 2 Jan 2020 at 12:53, Ludovic Courtès <ludo <at> gnu.org> wrote:
>
>> zimoun <zimon.toutoune <at> gmail.com> skribis:
>
>> > I find inappropriate the "Stay tuned!" in the manual.
>>
>> Because it’s too informal, or because it’s confusing?  (The former is
>> fine with me.)
>
> Maybe a bit of both. :-)
>
> It is an analogy, but I feel the same than if I read a manual of maths
> with "stay tuned" after a theorem as the proof. I feel in the same
> time not enough formal for a manual and I am confused: is it already
> proved and not written down yet or is it not proven yet?

Heh.  Well I guess it doesn’t bring much anyway, we can remove it.

Thanks,
Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.