From c10607cdeab1200834cde8f5f6a2f8ed1de4d76c Mon Sep 17 00:00:00 2001
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
Date: Fri, 23 Jan 2015 08:22:52 +0100
Subject: [PATCH] release 1.8.6

---
 CHANGES     | 2 ++
 Makefile.in | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 48eed608..0652c9d7 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,8 @@
 
 * marks some incompatible change
 
+version 1.8.6, January 23, 2015
+-------------------------------
  o Dominator: new functor [Make_graph] with may use graph building operations,
    while the old functor [Make] now only requires a read-only graph.
  o Graphviz: support for additional polygonal-shapes
diff --git a/Makefile.in b/Makefile.in
index cceee44d..6890a656 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -112,7 +112,7 @@ graph.cmo: $(CMI) $(CMO)
 graph.cmx: $(CMI) $(CMX)
 	$(OCAMLOPT) $(INCLUDES) -pack -o $@ $^
 
-VERSION=1.8.5+dev
+VERSION=1.8.6
 
 src/version.ml: Makefile
 	rm -f $@