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

[Stephane Glondu]

The annotated tag, debian/8.3pl3-1 has been created
        at  d255fc95460b77e055a2e5b28335b30580b3a8e8 (tag)
   tagging  92d773674c3489e274988c5455c3f5dd50004112 (commit)
  replaces  debian/8.3pl2-1
 tagged by  Stephane Glondu
        on  Wed Jan 4 08:37:30 2012 +0100

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

iQIcBAABCgAGBQJPBAG6AAoJEHhT2k1JiBrTbTEP/2RspSyzNucOan9NYjsJQ/fS
/rLZNHppj8K89SrJrIC7SWePB5z8Qe3lnFS2eZeh75XccYYNs0drcPp9Ui9bgDtw
8Rz8TCZAWoc6H+CoOKMJBKXsXzkaxUwviG43Hj6voBvU+77Lqddt5+olAZmYdPAm
6z1g+a7yKx2B0VWsxkY/rX1eskUxcSTrDnCSrJ2BHbA7CPia4szibjh+OQo7P0IM
q835p3SbiWQFuLQvebn8Y8udZw/1UtDh2B+G07v/pN+UK0W5gdVraJr7Nv4gQrvG
SPP/IuUGmWZcghmxka6nVVhCNeUZfW2x+1QqBakR8WdySYdz9epiXxJrz/JwKn/o
UIJTXpmdaakrFZQjIgR+gdE/UbQDTDaFSI4s7w4uZk86CklOX7xZe/XRZq+31iX/
0ONplGVaS1ALqFMGZz25oVYOa8IhuauJ8YBbDqr+36Dal1w3DijD/SHsqbrQAIBQ
/RMDYfBy45NChUQLea4MLfgiYaWmRLy4Gq3U1MXHgOAuPKy56XQY2+/9eXiI+UP5
Z3pkESUrqZGOo0ut4pmPUF2ba7ZEf/pYdb7mFT5YTntooN6RYs3YbqaCWymY5SRA
Nk1xJLgkn/lo8oCZpyCY0bGk30Z734Y1G/4L96CFThcJESyTbGVYDP0JPyoEfSN9
79s4nlktLEbm8+6u9uOQ
=yImF
-----END PGP SIGNATURE-----

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

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

-- 
coq-doc packaging