Subject: Re: [bug#45293] [PATCH] gnu: Add skim.

From: Nicolas Goaziou <[email-masked]>
Date: Fri, 05 Feb 2021 22:23:46 +0100

Hello,

John Soo <[email-masked]> writes:

> Looks good! I don't have commit access, but this should be ready to go
> when someone looks at it. I have cc'd Nicolò to see if they can merge
> this.

I improved the commit messages and pushed. Thanks to Zheng Junjie for
the patches and to you for the review.

Regards,
-- 
Nicolas Goaziou