Hi ! Thanks for your report. The patch has been merged upstream and a new release including it should be available quite soon.
Romain -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
