diff options
author | Gard Spreemann <gspr@nonempty.org> | 2020-06-29 13:39:49 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2020-06-29 13:39:49 +0200 |
commit | 0e9512b575c74b123af4d11b3e325f3c41e62ab3 (patch) | |
tree | 9a3d2b6ed689e4b9c66ac481b8834ebdc71d152d /debian/patches/series | |
parent | a6ba325ce616d9c6f9b7329e3f9652ca429b5b01 (diff) |
Add patch to work around bug #963955.
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 ba323276..80880a58 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -7,3 +7,4 @@ 0007-Move-towards-reproducible-builds.patch 0008-Don-t-try-to-install-Hera.patch 0009-Keep-POT-optional.patch +0010-Work-around-963955.patch |