Subject: Re: [bug#33138] [PATCH] gnu: Add pdfpc.
From: Ricardo Wurmus <[email-masked]>
To: Leo Famulari <[email-masked]>
Cc: [email-masked]
Date: Thu, 25 Oct 2018 01:09:29 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Leo Famulari <[email-masked]> writes:

> On Wed, Oct 24, 2018 at 04:47:33PM +0200, Ricardo Wurmus wrote:
>> * gnu/packages/pdf.scm (pdfpc): New variable.
>
> LGTM, thanks!

Thank you for checking it so quickly.  I pushed it to “master” with
commit e2ec95c4e.

--
Ricardo