diff --git a/.gitattributes b/.gitattributes
index c69b8321d4d4ea0f4ac153e58d818b0954882446..5084fc5bf9c8be2906756eda34dc896a402735bb 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -9,5 +9,4 @@
 .gitignore export-ignore
 .gitattributes export-ignore
 /check.sh export-ignore
-/.merlin.in export-ignore
 /TODO export-ignore
diff --git a/CHANGES b/CHANGES
index 4dd4ff18d7e7a468db7e39de0eb46b825cb8dcc1..657aced74303774b2fe5ef0a5a96990ad19dc249 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,9 @@
 
 * marks an incompatible change
 
+Version 0.87.0, March 15, 2016
+================================
+
 Language
   * Add new logical connectives "by" and "so" as keywords
 
diff --git a/Version b/Version
index 1dd45c35bf79ca9144e09a9076cdc9d44cbb7aaa..97ba008d838fdee37557da6af03e679cdb9dd798 100644
--- a/Version
+++ b/Version
@@ -1,2 +1,2 @@
 # Why version
-VERSION=0.86+git
+VERSION=0.87.0
diff --git a/doc/manual.tex b/doc/manual.tex
index 10f29866f67e1742b7fe80b64906f0a3f61fc7d9..342cff77785193dc965007d7e9c49c5e06933114 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -108,7 +108,7 @@
 %BEGIN LATEX
 \begin{LARGE}
 %END LATEX
-  Version \whyversion{}, February 2016
+  Version \whyversion{}, March 2016
 %BEGIN LATEX
 \end{LARGE}
 %END LATEX