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 7f30dee90d..e640e49d0e 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -17,3 +17,4 @@ debian-hacks/Don-t-auto-disable-extensions-in-system-directories.patch debian-hacks/Work-around-GCC-ICE-on-ppc64el.patch debian-hacks/Allow-to-build-oxilangtag-ffi-with-rustc-1.65.patch progress-linux/0001-keyword-bookmarks.patch +progress-linux/0002-order-unified-extensions-button.patch |