1 files changed, 6 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 4c83b7c19..98239ab56 100644
--- a/CHANGES
+++ b/CHANGES
@@ -28,6 +28,12 @@ Vernacular Commands
 Checker
 - The checker now accepts filenames in addition to logical paths.
 
+Documentation
+
+- The Coq FAQ, formerly located at https://coq.inria.fr/faq, has been
+  moved to the GitHub wiki section of this repository; the main entry
+  page is https://github.com/coq/coq/wiki/The-Coq-FAQ.
+
 Changes from 8.7+beta2 to 8.7.0
 ===============================