From e3232482a924f71bbe391c4b998194863d5d8be2 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rog=C3=A9rio=20Brito?= <rbrito@ime.usp.br>
Date: Fri, 1 Sep 2017 00:41:28 -0300
Subject: [PATCH 1/1] debian/{compat,control}: Update compat to 10.

---
 debian/compat  | 2 +-
 debian/control | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/compat b/debian/compat
index ec63514..f599e28 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-9
+10
diff --git a/debian/control b/debian/control
index b00b12d..dc2545f 100644
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Priority: extra
 Maintainer: Rogério Brito <rbrito@ime.usp.br>
 Build-Depends:
  bash-completion,
- debhelper (>= 9),
+ debhelper (>= 10),
  dh-exec,
  dh-python,
  pandoc,
-- 
2.41.1