https://github.com/ocaml/ocaml/issues/9391
https://github.com/ocaml/ocaml/commit/4716c8e063604b6a9788f36da32c16ba022...
We should pick it up in OCaml 4.13 and I'll try rebuilding
Coq with it at that time.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
virt-builder quickly builds VMs from scratch
http://libguestfs.org/virt-builder.1.html