[Pkg-ocaml-maint-commits] [SCM] coq packaging annotated tag, debian/8.3.pl2+dfsg-2, created. debian/8.3.pl2+dfsg-2

[Stephane Glondu]

The annotated tag, debian/8.3.pl2+dfsg-2 has been created
        at  877c79a4aea9d5c9165ce8027f63ddaec30a3b73 (tag)
   tagging  4fc051d01a5324c26be8b7192fdd58148ee534a8 (commit)
  replaces  debian/8.3.pl2+dfsg-1
 tagged by  Stephane Glondu
        on  Wed Nov 2 23:09:53 2011 +0100

- Shortlog ------------------------------------------------------------
Debian release 8.3.pl2+dfsg-2
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAABCgAGBQJOsb+xAAoJEHhT2k1JiBrTdFAQAKkzOEZkhLRb1kf03mVLs8MB
UNwnJFadiZWBnQzHHSdS22HEVHtii4XIJeuPf2ZJ7+SgjNq/ZpEHc+rNY48c4snL
gqLnQaGHkb4B3a/aCkuYftMDtjPAxe2BeyqsybrFt2El1hjRSGsALf7lPwOD9YV7
hGW6gCHyN0UuTZb6dWNMjPBLgcma7YbVkdDuJ9uEhUlErvya7S+gKUa8vYINv09d
i2vHzw9+F1Qv4W9DEYeB2ZpsX9A7DqfhAdJICHIrFkNZB6nDkf/cgGacfllHXXNY
hTHR3Cj1Mj4V9A7GfVXoY5JWAjS2XtwtjRscoqE56J8FNHpcc3UsIK3fgmZ91NkZ
Nq9ro60dg8UxMOpIzGM84TCU7G6+I2oZRjOz0shbkzxWxd2SUzQmRPuEPce9Vbgu
lpx2C2vrmK+VNTkqz5Ro7yaMBHPTBcjAUW+i6jSJBw2pnadGr0akB5JTRzAOaSIy
5fVzg5ae+La4tzbXinTDZ58xArE8bQmWbq8WSC79apwERTl8JHHWqRlAuB5tLVGb
baWyrWpA1yaQvLgAPS+82dCA77p1bwmmztUHMXij1yFsaE5ybOgHFvJQ5dFWtDV3
wQaoq1SwEAWLf29Fyfpl9MtTPw4yL39nFchlziQlWMoMAsLnLqmLLZFL+k/0urYQ
hRH6sisuvwKEDoISDsJ7
=lbCz
-----END PGP SIGNATURE-----

Stephane Glondu (2):
      Bump Standards-Version to 3.9.2 (no changes)
      Prepare upload to unstable

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

-- 
coq packaging