From 556ec2c3f3c72c6ecec65d6f4c2693d26d42e141 Mon Sep 17 00:00:00 2001 From: pad Date: Wed, 12 Mar 2014 14:58:48 -0700 Subject: [PATCH] * changes.txt: --- changes.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/changes.txt b/changes.txt index e923dee66..0b85222bd 100644 --- a/changes.txt +++ b/changes.txt @@ -59,6 +59,8 @@ skip list *** add configure option for Javalib and cmt +*** works again with ocaml 3.12 + * ----------------------------------------------------------- * 0.26 (Q4 2013) (basic OPAM package)