diff options
author | Gard Spreemann <gspr@nonempty.org> | 2021-12-31 10:46:47 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2021-12-31 10:48:22 +0100 |
commit | a5e4ecb7ae9ff950dcb54aa155f1d12c6bdb8c7a (patch) | |
tree | 2ae0ad27f05acb8074da75e8fc8026354a9bf155 /debian/patches/series | |
parent | 5af0437082f9158dcb65bbea54624c2341077a5b (diff) |
Add patch to remove benchmarksdebian/0.8.1+dfsg-2
This is just a temporary fix for #1002879, and should instead be
properly fixed upstream.
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 new file mode 100644 index 0000000..a82b8eb --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +0001-Remove-benchmarks-to-prevent-installation-in-wrong-p.patch |