diff -r ddfc0b16c9d7 -r 43e9bb4de6b5 debian/compat
--- a/debian/compat	Thu Oct 17 20:33:02 2019 +0200
+++ b/debian/compat	Fri Oct 18 10:17:53 2019 +0200
@@ -1,1 +1,1 @@
-8
+10