From 1a15bd5ee44cb5f43fa85b978a819e6865b4dd8b Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rog=C3=A9rio=20Brito?= <rbrito@ime.usp.br>
Date: Fri, 16 Mar 2018 12:43:32 -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 0de8c2b..7362d3b 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-2015, Rogério Brito <rbrito@ime.usp.br>.
+	   © 2009-2018, 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.1