Move unreleased changelog entries to CHANGELOG_UNRELEASED.md

2 files changed, 17 insertions, 9 deletions

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 187d202..30fcd0f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,15 +5,6 @@ Last releases: [[1.9.0] - 2019-05-22](#190---2019-05-22) and [[1.8.0] - 2019-04-
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
-## [Unreleased]
-
-### Changed
-
-- `eqVneq` lemma is changed from `{x = y} + {x != y}` to
-  `eq_xor_neq x y (y == x) (x == y)` which allows to use as a view and provide
-   simultaneous destruction of expressions of the form `x == y` and `y == x`,
-   while keeping the ability to use it in the way it was used before.
-
 ## [1.9.0] - 2019-05-22
 
 MathComp 1.9.0 is compatible with Coq 8.7, 8.8, 8.9 and 8.10beta1.
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md
new file mode 100644
index 0000000..1892bca
--- /dev/null
+++ b/CHANGELOG_UNRELEASED.md
@@ -0,0 +1,17 @@
+# Changelog (unreleased)
+
+To avoid having old PRs put changes into the wrong section of the CHANGELOG,
+new entries now go to the present file as discussed
+[here](https://github.com/math-comp/math-comp/wiki/Agenda-of-the-April-23rd-2019-meeting-9h30-to-12h30#avoiding-issues-with-changelog).
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
+
+## [Unreleased]
+
+### Changed
+
+- `eqVneq` lemma is changed from `{x = y} + {x != y}` to
+  `eq_xor_neq x y (y == x) (x == y)` which allows to use as a view and provide
+   simultaneous destruction of expressions of the form `x == y` and `y == x`,
+   while keeping the ability to use it in the way it was used before.
+