aboutsummaryrefslogtreecommitdiff
path: root/debian/compat
diff options
context:
space:
mode:
authorToni Uhlig <matzeton@googlemail.com>2017-06-24 16:17:20 +0200
committerToni Uhlig <matzeton@googlemail.com>2018-10-10 15:03:25 +0200
commit8c6ac2cd7b895b577d078b94263ff3a42839eeb6 (patch)
tree810c111ceb542ef60ac8c45f19f35085f409a10e /debian/compat
parentb8a2d1c361ae440f958675491655ca6831e266f1 (diff)
coverity fixes
Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
Diffstat (limited to 'debian/compat')
-rw-r--r--debian/compat2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/compat b/debian/compat
index 45a4fb7..ec63514 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-8
+9