From 2dc63a6f49ea30e175ead4603c93cda4b2bb889b Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 7 Jul 2016 08:32:36 +0200
Subject: Update COPYRIGHT.

---
 COPYRIGHT | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/COPYRIGHT b/COPYRIGHT
index 006ce18f1d..301bc7a393 100644
--- a/COPYRIGHT
+++ b/COPYRIGHT
@@ -1,6 +1,6 @@
                      The Coq proof assistant
 
-Copyright 1999-2015 The Coq development team, INRIA, CNRS, University
+Copyright 1999-2016 The Coq development team, INRIA, CNRS, University
 Paris Sud, University Paris 7, Ecole Polytechnique.
 
 This product includes also software developed by
-- 
cgit v1.2.3