On 2012-12-30, Gerd Stolpmann wrote: > Found this problem 20 minutes ago by myself - it is fixed now. Just > retry.
Yes, it works. That was quick! Thanks, Petter _______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
