On Sat, 02 Dec 2023 18:44:29 +0200, Yavor Doganov wrote: > * debian/patches/pcre2.patch: New; port to PCRE2 (Closes: #1000006).
Upstream reworked the patch that I forwarded to retain support for the old PCRE, so I have updated it to the version that will be part of the next upstream release and reuploaded the package to mentors.d.n. The only other change is the updated debian/changelog timestamp.
