On Sat, Sep 09, 2017 at 09:00:15PM +0200, Matthias Kilian wrote: > here's an update to poppler-0.58
Ignore this, I missed that poppler is already at 0.59. Ciao, Kili
On Sat, Sep 09, 2017 at 09:00:15PM +0200, Matthias Kilian wrote: > here's an update to poppler-0.58
Ignore this, I missed that poppler is already at 0.59. Ciao, Kili