On Sat, 2010-09-04 at 01:59 -0400, Mike Lin wrote: > 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.
I've now released a new package to the 3.12 section containing this patch. Thank you for reporting the problem. - Michael -- Web/blog: http://elehack.net/michael Jabber/Google Talk: this e-mail address Twitter: http://twitter.com/elehack mouse, n: a device for pointing at the xterm in which you want to type _______________________________________________ Godi-list mailing list [email protected] https://godirepo.camlcity.org/mailman/listinfo/godi-list
