diff -r 072b9adfb2ac -r 3072e35252cb debian/compat
--- a/debian/compat	Tue Feb 13 13:02:59 2018 +0100
+++ b/debian/compat	Tue Feb 13 15:39:38 2018 +0100
@@ -1,1 +1,1 @@
-7
+9