[debbugs-tracker] bug#33630: closed ([PATCH] gnu: pdfgrep: Update to 2.1.2.)

[GNU bug Tracking System]

Your message dated Wed, 5 Dec 2018 14:55:24 -0500
with message-id <address@hidden>
and subject line Re: [bug#33630] [PATCH] gnu: pdfgrep: Update to 2.1.2.
has caused the debbugs.gnu.org bug report #33630,
regarding [PATCH] gnu: pdfgrep: Update to 2.1.2.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
33630: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33630
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] gnu: pdfgrep: Update to 2.1.2. Date: Wed, 05 Dec 2018 16:11:13 +0000

Hello,
this patch updates the pdfgrep package to version 2.1.2.

Thank you
Rene

0001-gnu-pdfgrep-Update-to-2.1.2.patch
Description: Text Data

--- End Message ---

--- Begin Message --- Subject: Re: [bug#33630] [PATCH] gnu: pdfgrep: Update to 2.1.2. Date: Wed, 5 Dec 2018 14:55:24 -0500 User-agent: Mutt/1.11.0 (2018-11-25)

On Wed, Dec 05, 2018 at 04:11:13PM +0000, Rene wrote:
> Hello,
> this patch updates the pdfgrep package to version 2.1.2.
> 
> Thank you
> Rene

> From e848b7e09499fe552318446ec8ed0343e587b60f Mon Sep 17 00:00:00 2001
> From: Rene <address@hidden>
> Date: Wed, 5 Dec 2018 10:02:34 +0100
> Subject: [PATCH] gnu: pdfgrep: Update to 2.1.2.
> 
> * gnu/packages/pdf.scm (pdfgrep): Update to 2.1.2.

Thanks! Pushed as 7da4dbb3f241d924a3abc8d7906eccb8eb08d32e

signature.asc
Description: PGP signature

--- End Message ---