Subject: Re: [bug#28583] [PATCH 7/7] gnu: Add es-dump-restore.
From: Christopher Baines <[email-masked]>
To: Ben Woodcroft <[email-masked]>
Cc: [email-masked]
Date: Sat, 30 Sep 2017 11:52:04 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

On Sat, 30 Sep 2017 20:32:54 +1000
Ben Woodcroft <[email-masked]> wrote:

> Hi Chris,
> 
> 
> On 30/09/17 18:25, Christopher Baines wrote:
> >
> > These two formatting issues should be fixed now. Thanks for the
> > review and patches Ben. I've sent an updated set of patches.
> >  
> Thanks. Feel free to push them - I am happy if you are.

Awesome. I've now pushed these patches. Thanks for your review.