--- 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