Subject: Re: [bug#33976] [PATCH] gnu: Add dev86.

From: Danny Milosavljevic <[email-masked]>
Date: Thu, 10 Jan 2019 14:01:02 +0100

Hi Ludo,

On Thu, 10 Jan 2019 09:31:55 +0100
Ludovic Courtès <[email-masked]> 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.