GNU bug report logs - #33976
[PATCH] gnu: Add dev86.

Previous Next

Full log

View this message in rfc822 format

From: Danny Milosavljevic <dannym <at> scratchpost.org>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 33976-done <at> debbugs.gnu.org
Subject: [bug#33976] [PATCH] gnu: Add dev86.
Date: Thu, 10 Jan 2019 14:01:02 +0100

[Message part 1 (text/plain, inline)]

Hi Ludo,

On Thu, 10 Jan 2019 09:31:55 +0100
Ludovic Courtès <ludo <at> gnu.org> wrote:

> > Please amend description if necessary.  
> 
> I’m not in a good position to do that because I know too little about
> it.  In general, I don’t think the burden should be on the reviewer—we
> already have too few people reviewing patches.

I agree!  I had already extended the description.  I meant don't hesitate to
edit it further if you want to.

[Message part 2 (application/pgp-signature, inline)]

Previous Next

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