diff options
author | Simon McVittie <smcv@debian.org> | 2020-09-07 18:07:38 +0100 |
---|---|---|
committer | Simon McVittie <smcv@debian.org> | 2020-09-07 18:07:38 +0100 |
commit | 8962a561afb7b92a690fbf21530449a0228ce261 (patch) | |
tree | 0347e69e15b139f6fb2ea05c24f807a3feaf75a6 /debian/patches/series | |
parent | 1a81ad6297d33c3779d25dea76088879eda1c645 (diff) |
d/patches: Update to upstream v13-7-g662250e
- Drop compatibility with GNOME Shell < 3.37.x
- Be compatible with GNOME Shell >= 3.37.x
Diffstat (limited to 'debian/patches/series')
-rw-r--r-- | debian/patches/series | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..3f988a4 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1,5 @@ +fix-installation-instruction.patch +add-support-for-gnome-3.34.patch +fix-gnome-version-check.patch +Update-ui.js.patch +stop-supporting-older-gnome-versions.patch |