Hi Michael Thanks for your work on the GODI package for batteries. FYI it currently does not build once the GODI section has been changed to 3.12. This patch is needed http://github.com/ocaml-batteries-team/batteries-included/commit/dbe3064315d723c0838856ba13527ca6bbaf57e7 It seems to be sufficient to check out the current release and cherry-pick this patch. Presumably there should be a new batteries release soon to fix this, but I wanted to bring it to your attention in case you want to add this patch to the GODI package even sooner. Mike Lin
_______________________________________________ Godi-list mailing list [email protected] https://godirepo.camlcity.org/mailman/listinfo/godi-list
