diff options
Diffstat (limited to '')
-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 063523adb7..7f30dee90d 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -16,3 +16,4 @@ debian-hacks/Set-DPI-to-system-settings.patch 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 |