debian/copyright: Update my copyright years.

diff --git a/debian/copyright b/debian/copyright
index 0de8c2b4eed4b19e3fef7a244fa3f9edc0b86d6d..7362d3bfb5c38237cb31d94bfea0e00d4382c3f8 100644 (file)
--- a/debian/copyright
+++ b/debian/copyright
@@ -35,7 +35,7 @@ License: public-domain
 
 Files: debian/*
 Copyright: © 2006, Robert S. Edmonds <edmonds@debian.org>.
 
 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
 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