From 0e3c5183a16fb2d7b1ffb838220cc72b7578234e Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rog=C3=A9rio=20Brito?= <rbrito@ime.usp.br>
Date: Wed, 13 May 2020 15:18:24 -0300
Subject: [PATCH] debian/control: Upgrade debhelper-compat to 13.

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

diff --git a/debian/control b/debian/control
index a1e7fca..b945e05 100644
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Section: web
 Priority: optional
 Build-Depends:
  bash-completion,
- debhelper-compat (= 12),
+ debhelper-compat (= 13),
  dh-exec,
  dh-python,
  flake8 <!nocheck>,
-- 
2.41.3