The annotated tag, debian/1.3pl4-1 has been created at 73423b5679e345c73d3d265643527d707aaacf49 (tag) tagging bac31964e63fc9cfa178e150bb9c705c38e85683 (commit) replaces debian/1.3pl2-4 tagged by Stephane Glondu on Sat Jun 9 10:30:30 2012 +0200
- Shortlog ------------------------------------------------------------ Debian release 1.3pl4-1 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAABCgAGBQJP0wmmAAoJEHhT2k1JiBrT1tkQAIME8PCCNHTWQEXNnqa4SstW QPd+RZ5WeAuyRYJ1l+DPBqZXk5ldeGOtiPgKjL0Dx4Zm6UYkmJ2sg4vfClFURjJk 4QFuf1mTghasvOokHB2MRzcNCz9vK4npIRqkz4sGI9txYFT2506LKMC/VvV8mJJj p2joGBwPZdeIB9RmqORVrlpc2vGy7p+5RVwgl7Q6F2id9As6aE7m7WFNP2q69wBp gOqMnderN3jJ2CnQL+4MPaRkVlxQPHRBLorUxuDdajrArBLfAgAwdZ7Zb3VgzFVN 4otolGXbP0itKKCZl3DJc9awBZ1auu/7bvhDqdmn31X0kz0R+yZ1CJHgvHFRjfhS GWdVdJOt4KA7mj9a9g8oxmVr1kINBHbF+oR2pelSTazIGTTl78upA8neyvJYu0Rf VeJp9dL9gebqkADHwCU+CN8ZoWoHca5/Bw/kM5TDpIOZ6IBmrMtTVvhNkXJrRFgM ddb8y1Eq22VaPXkUJawg1GUalIIdL/r+0ZYlmpwuA5PmIpI5N6S0bzJ5Y/mNJgWX +NkuK4rDdserTMCUaosq7hZsKcJgX2SchFXv5AsH38FUdULCjLAi7YiaVrN9uUAz 8IYZ3F8VzZhelYpkled+KX13CZMQ1kWQv5Ot/Bnw71xTl6tKLwLApWyWsd9fi1Ud K+EDqiPvuwsXW2TzH54d =mMrG -----END PGP SIGNATURE----- Stephane Glondu (8): Imported Upstream version 1.3pl3 Imported Upstream version 1.3pl4 Merge tag 'upstream/1.3pl4' New upstream release Refresh patches debian/copyright in format 1.0 Bump Standards-Version to 3.9.3 Update changelog and prepare upload to unstable ----------------------------------------------------------------------- -- ssreflect 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