summaryrefslogtreecommitdiff
path: root/debian/patches
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff-webhosting.net>2019-12-28 14:19:18 +0100
committerJörg Frings-Fürst <debian@jff-webhosting.net>2019-12-28 14:19:18 +0100
commitc4cf44cdd4782802342d5d206759f7975d552c9c (patch)
tree6f9badf5b8f69055849260093eb76ce184e746ef /debian/patches
parent7adee3792b49c90ac4cb47114abee86c2b3c3590 (diff)
parent6298ea00640a74af4eecbf3528ea87bd191a2eba (diff)
Merge tag 'debian/3.1.2-1' into develop
New Upstream Release
Diffstat (limited to 'debian/patches')
-rw-r--r--debian/patches/series2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 5325217..291c188 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -5,4 +5,4 @@
0100-parallel_build.patch
0120-fix-bibtex-call.patch
#0125-printf_regression.patch
-0130-python3.patch
+#0130-python3.patch