release 1.8.6

backtracking · Jan 23, 2015 · c10607c · c10607c
1 parent 1f2023c
commit c10607c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git 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
@@ -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 $@