This is an automated email from the git hooks/post-receive script.

glondu pushed a change to annotated tag debian/1.5_rc1-2
in repository ssreflect.

        at  f3ecefe   (tag)
   tagging  1dfba25a11219959280f31673372d190b4a1ac29 (commit)
  replaces  debian/1.5_rc1-1
 tagged by  Stephane Glondu
        on  Fri Dec 6 08:49:35 2013 +0100

- Log -----------------------------------------------------------------
ssreflect Debian release 1.5~rc1-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iQIcBAABCgAGBQJSoYGPAAoJEHhT2k1JiBrTgvkP/Ro4YSJBdj3F13YnSqtAUrqC
Tyo/ibDaBTp7ysOdEvYcX7pgXZbrjxT9tCZWsldonXCnIlVth51fhp9wrW8bKAtu
7QnajQ736LVQ8V6tE024uQs8TR5hZCCjok1jKL0qp8MCakstfEXZknOH8bhcY9fe
5HkYaHHmtcX7mNKlbhKKhLyMlOobYGsx8VIckKhE+/9vcWDADE8NRaAF46T4tY7H
tJyNzXqOjHAdmpRMYtCswd9M2FV7PsjBcWD1WxPhC/MX0ESGK2qgJnWYdLaZjC11
ZsS3BWo6Kx6s3CaipYQgg1n52M6l6gFt/cG0kvUkzjmlOZh0nbti5NvhVoIyf7wI
4ZjAk44LNhBRlQT+tilibDgx6Z/0hMDcseu3LtkvAZMtb5E6XtvW9hRxBVi29fHc
8YX2iF67YHhbzKxjsFeZO6+JIoPkZ6+DdxzjOIqdsZDIRA0C1C+/EM4DUgZ3Zz/5
SQcrFEFA38IP/ya/C8AqhwoTiBiji2k/UhGNuo/535eUj4lrH354CrgnZRxKahPM
Y4FEXPTCBPcBf3dJ3byfHTtF4jrxxFUA4qmCIYvEBgw7zaWa9nhBjh6A4loAtKYk
3EPlmpdBl9pZRT/vCCzQEOS3kXucuVcxKa0E4gjTgCK+fZCbz/eqDJaw6aWg7Cej
mFla2HMdafGrDQGMLMeq
=bki8
-----END PGP SIGNATURE-----

Stephane Glondu (2):
      Update Homepage
      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

Reply via email to