From e1e2302d144d81f150efdad0c9e65b53ae0bbd07 Mon Sep 17 00:00:00 2001
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
Date: Fri, 4 Apr 2014 14:45:38 +0200
Subject: [PATCH] release 1.8.5

---
 CHANGES     | 8 +++++++-
 Makefile.in | 2 +-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index 61536173..7d9d1d3f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,12 @@
 
+version 1.8.5, March 4, 2014
+-----------------------------
+ o Graphviz: reverted to the old API where edges and vertices are
+   given a single style attribute; but such attributes are collected
+   and output in the DOT file into a list (thus allowing multiple style
+   attributes)
  o fixed issue in ./configure with ocamlfind on Win32.
- o fixed compilation when laglgnomecanvas is missing (bug introduced in 1.8.4). 
+ o fixed compilation when laglgnomecanvas is missing (bug introduced in 1.8.4).
  o fixed more issues with 'make -j'.
 
 version 1.8.4, February 4, 2014
diff --git a/Makefile.in b/Makefile.in
index 18b88665..9cecdc45 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.4+dev
+VERSION=1.8.5
 
 src/version.ml: Makefile
 	rm -f $@