From 7d51f6f7c3910fa53b143529e7de31802c5073fb Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rog=C3=A9rio=20Brito?= <rbrito@ime.usp.br>
Date: Sun, 16 Jun 2013 13:38:19 -0300
Subject: [PATCH] debian/compat: Use level 9 of debhelper.

---
 debian/compat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/compat b/debian/compat
index 7f8f011..ec63514 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-7
+9
-- 
2.41.1