This bug was fixed in the package poppler - 0.74.0-0ubuntu1.1
--------------- poppler (0.74.0-0ubuntu1.1) disco; urgency=medium
* debian/patches/git_unicode_search.patch: - backport a fix for a regression on case-insensitive search (lp: #1829785)
-- Sebastien Bacher <email address hidden> Tue, 21 May 2019 16:30:23 +0200
This bug was fixed in the package poppler - 0.74.0-0ubuntu1.1
---------------
poppler (0.74.0-0ubuntu1.1) disco; urgency=medium
* debian/ patches/ git_unicode_ search. patch:
- backport a fix for a regression on case-insensitive search
(lp: #1829785)
-- Sebastien Bacher <email address hidden> Tue, 21 May 2019 16:30:23 +0200