Re: Crash of Frama-C IDE with OCaml 4.02

Adrien Nader <[email protected]> Tue, 16 Sep 2014 18:36:48 +0200
Newsgroups gmane.comp.lang.ocaml.lib.gtk
Message-ID <[email protected]>
That's the first time I hear about this error. Considering there are
only a few commits in git since the last version, the answer is probably
"no". Do you have more infos on the issue?

-- 
Adrien Nader