The annotated tag, upstream/20120423 has been created at 3f24693526e2df1da8012ee8b07ae8fcc2d2470e (tag) tagging 041bf445b8003f49d0701aed137dc90b77929836 (commit) replaces upstream/20120322 tagged by Hendrik Tews on Tue Apr 24 20:12:55 2012 +0200
- Shortlog ------------------------------------------------------------ Upstream version 20120423 Hendrik Tews (1): Imported Upstream version 20120423 ----------------------------------------------------------------------- -- hol-light 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