diff -r e95725d7ce90 -r 18939907a115 debian/compat
--- a/debian/compat	Thu Jun 25 22:57:15 2015 +0200
+++ b/debian/compat	Wed Jul 22 17:03:43 2015 +0200
@@ -1,1 +1,1 @@
-7
+9