From b2d460955a615719ffe64af79a5a1f38361683d5 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rog=C3=A9rio=20Brito?= <rbrito@ime.usp.br>
Date: Mon, 2 Sep 2019 14:54:10 -0300
Subject: [PATCH] debian/copyright: Update my copyright years.

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

diff --git a/debian/copyright b/debian/copyright
index 6baec38..b774411 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -35,7 +35,7 @@ License: public-domain
 
 Files: debian/*
 Copyright: © 2006, Robert S. Edmonds <edmonds@debian.org>.
-	   © 2009-2018, Rogério Brito <rbrito@ime.usp.br>.
+	   © 2009-2019, Rogério Brito <rbrito@ime.usp.br>.
 License: GPL-2+
  This package is free software; you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
-- 
2.41.0