This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/1.5-1 in repository ssreflect.
at 8c668c8 (tag) tagging e1ca6837066e76eea6657a225e8219128d4621be (commit) replaces debian/1.5_rc1-3 tagged by Stephane Glondu on Thu Mar 13 14:51:50 2014 +0100 - Log ----------------------------------------------------------------- Debian release 1.5-1 -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAABCgAGBQJTIbf2AAoJEHhT2k1JiBrTvxkP/1331/gB6Wr04lSVrh6PwutY uVXunTYS5n/91MiHg0FGfz8G3w+lRcTHHfFTkscNh6AryXRUcJAMWxY/hC/tnlGg 7t/Q1ljtIT8EXM+V589+m64RRQSm54qlmcYGAR6Ui36qUDUgmi7DHbuRKKoELS5P EXlWS3iYv2OxYkX3ajmhpKThxsq9HKKKFIlymJ7o5PHKBOdaYbEKCr+HtVXSGmpS Fpzc0p/R/qb9+5OQ84NRLFR3NDhBc5eYsoR8BZXfZVdvvgTxMl6vpW2zfrTVCOI6 ZFjGQ1KrckZgcidwzlYzr1OEE/kbfNz+pQ8mzeM/IjpHbWCm6T+UhWHrY3BM17Rg NxymJsqxvr0EMsBkbdyfOLCLpxQxcRN1PlPa6rr6iC0jM4KLCOhtZ18a//FbFP9E k4d3SwByxms1cEu7AO6c4NYz5/abAfEv6cvmxxqqW/uDFgmmqGIYu9XL453d/l/q 1y9KsJmIOniuX0depiub+9HRpQMrohGWqugHwFIs1745r5pJoWi6UtPj6G86xJn5 B2YmkICQssaS/9Z3iTKdUQjfjrSWqbcWl1BCNr10ZV9C1WcY/kUD4rMtVbfYJfHV DGRw3Gfao75wT3w0voCPaPe2HP7DQLSypmN4VD6eI2sTZBXYmiBkRa9CAGbtF6oQ W45VE6qkqc1Ba67m42WS =mugI -----END PGP SIGNATURE----- Stephane Glondu (4): Imported Upstream version 1.5 Merge tag 'upstream/1.5' New upstream release Update changelog and prepare upload to unstable ----------------------------------------------------------------------- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.git _______________________________________________ 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