[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging annotated tag, debian/8.3pl4-1, created. debian/8.3pl4-1

[Stephane Glondu]

The annotated tag, debian/8.3pl4-1 has been created
        at  0ad70d018890c4eb1fb95a39129efe2206ea8ea8 (tag)
   tagging  34fcd2392242f5246c99f598e29eec8d282bdf1a (commit)
  replaces  debian/8.3pl3-1
 tagged by  Stephane Glondu
        on  Fri Apr 6 08:06:14 2012 +0200

- Shortlog ------------------------------------------------------------
Debian release 8.3pl4-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJPfofWAAoJEHhT2k1JiBrTUTkP/RmlnUd8w+/oLmxM1ULrLFjr
90M0eKpRibXueDrHJMqli4VscA2RiULTlnIf8roqAhSbIa/rmuMhQuYQJNFygtYO
uk9v6mOqnKmbctLTuUl1Ib8lJufhk3394kSRVT+7+3B4azJbjHMkuoQUJdmXYaG3
A+dNKQ4Nm0UL0y1RZlgHEzjMWzJFO43+75+7XlTcjWOeSvBZOxavqly73Mnu3L+D
mSI5rRUJ+VbQZAVhuwUcKqu6kZLcpc/in0umrXUR7qOPtV55rPNqNZOxXS52F8uE
bJacrGShPg3Wx+UX15mAOtH4PSe8qzVduJe1DdSKJJ1Wsh2CA/wsDz3kw6C/xbJ5
YnfwGD4R0bssHK5M0/N9SIqiPMjdXZnpnTjPWKu5+hHskUgNNrs+B2jdBdLkmEMS
rDZXHf1ZYPAvfDLM22E8WsLVIGgcEvrI8/iYNhERY2eOOALYHDRVTbnoGU+go/fG
dck7pI3uk9dsE0vasBKOZMWKMWRRNyOuBfQ01FnB6JIMyYrgeuve+rKkLrntSvGG
f8hyWLZZEuhlwFUPeQ2WXblh9u7uVFRJpkcSFIS7u3IF6n/yYBnG+GcvNne7JgCe
dGqLGr4aHrHqD98LizEXK3senHthUPibhtmUTKtyoKDIGiZHF9zc6jAZT2Ex9j7L
K3S2FbwQZymXf/XaQsH+
=PCJY
-----END PGP SIGNATURE-----

Stephane Glondu (4):
      Imported Upstream version 8.3pl4
      Merge tag 'upstream/8.3pl4'
      New upstream release
      Prepare upload to unstable

-----------------------------------------------------------------------

-- 
coq-doc packaging