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 <pacoon@protonmail.com>
> 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