debian/copyright: Update my copyright years.

diff --git a/debian/copyright b/debian/copyright
index 552b6c6035632fca874361faeb96b4524985dafb..da5a646170e8016a717283b6042d3d273acfcc54 100644 (file)
--- a/debian/copyright
+++ b/debian/copyright
@@ -11,7 +11,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-2012, Rogério Brito <rbrito@ime.usp.br>.
+          © 2009-2015, Rogério Brito <rbrito@ime.usp.br>.

 License: GPL-2+
 
 License: public-domain
 License: GPL-2+
 
 License: public-domain