diff options
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series index eebee12c7..b8914f5b3 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -9,3 +9,4 @@ cherry-pick-3e3cfabc-revert-38150-and-fix-in-calling-function-cfp_matcher_range- cherry-pick-4b7a9fd0-additional-typset--p--m-fix-for-namespaces.patch cherry-pick-b62e91134-51723-migrate-pcre-module-to-pcre2.patch cherry-pick-10bdbd8b-51877-do-not-build-pcre-module-if-pcre2-config-is-not-found.patch +cherry-pick-ecd3f9c9-1057610-support-texinfo-7.0.patch |