On Mon, 13 Aug 2012 12:46:26 -0400, Ashish Agarwal wrote: > > [...] Thus, we could go with what we consider to be more correct, > which I think is "zip". > > On Mon, Aug 13, 2012 at 12:35 PM, Hezekiah M. Carty <h...@0ok.org> wrote: > > > If "zip" is the name in the official repository then it > > probably makes sense to stick with that.
I concur ― we should respect upstream decisions... Best, C. _______________________________________________ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list