diff options
author | Gard Spreemann <gspr@nonempty.org> | 2021-12-31 11:28:09 +0100 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2021-12-31 11:28:09 +0100 |
commit | 764bda6b9fcc0e17d09e3d6a62b2fa54d7abefc1 (patch) | |
tree | 2a5b93143a3d4732513715c8715926c62253505d /debian/patches/series | |
parent | daf8a1d638f08d8d3d1a3976bd8539b0ac0d3711 (diff) |
Simplify patch to avoid installing benchmarksdebian/0.8.1+dfsg-3
This is a propoper, upstreamable, fix for #1002879.
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..ff25b3a --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +0001-Avoid-installing-benchmarks.patch |