diff -r d1fbe53885e9 -r e8be49ecb522 debian/compat
--- a/debian/compat	Thu Nov 17 16:03:02 2016 +0100
+++ b/debian/compat	Tue Nov 15 10:13:47 2016 +0100
@@ -1,1 +1,1 @@
-7
+9