The following commit has been merged in the master branch: commit 6009f1c129bb3d4703e5fb0edcc7dcab3cc3a20a Merge: 1835778c717f4308f3321d38fdc30b3b3bc7011c 478a43eda44298fd5fee5035044d105c06d7afe0 Author: Stephane Glondu <st...@glondu.net> Date: Wed Jul 24 15:28:58 2013 +0200
Merge tag 'upstream/20130116.dfsg' Upstream version 20130116.dfsg -- menhir packaging _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits