On 19 mai 09, at 15:03, Stefano Zacchiroli wrote: > On Tue, May 19, 2009 at 02:46:23PM +0200, Alan Schmitt wrote: >> By the way, is this a good place to report these kinds of bugs? > > Yes, the project tracker on the ocamlcore forge (which hosts the > project). You can find it at > http://forge.ocamlcore.org/tracker/?group_id=17 , it is linked from > the batteries project homepage. Oops, I see that it's bugs 198 and 213 there. Sorry for not having looked before. Alan