From 6f56c46a8b2383c4c7cb2e10c24a5e5a3c2191fb Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Fri, 5 Oct 2018 08:38:17 +0200
Subject: Rename CHANGES to CHANGES.md.

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index fcf20f0097..e6a52e95e3 100644
--- a/README.md
+++ b/README.md
@@ -27,7 +27,7 @@ and the [Coq FAQ](https://github.com/coq/coq/wiki/The-Coq-FAQ),
 for additional user-contributed documentation.
 
 ## Changes
-There is a file named [`CHANGES`](CHANGES) that explains the differences and the
+There is a file named [`CHANGES.md`](CHANGES.md) that explains the differences and the
 incompatibilities since last versions. If you upgrade Coq, please read
 it carefully.
 
-- 
cgit v1.2.3