debian/copyright: Update my copyright years.

diff --git a/debian/copyright b/debian/copyright
index 6baec3834303f193d8c5ddf9c02a174ae20cccb0..b774411c975a79e9ec1a6f747b160880be22200f 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-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
 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