On Jul 8, 2015 2:24 PM, "Gabriel Scherer" wrote: > > Could you submit the patch, in patch format, on the bugtracker ( http://caml.inria.fr/mantis/view_all_bug_page.php ) or github ( https://github.com/ocaml/ocaml ), so that it can be kept track of? Done. PR#215. -- Shayne Fletcher