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

[Stephane Glondu]

The annotated tag, debian/8.3.pl2+dfsg-1 has been created
        at  69d46d51867fde4b3c72fd4a362665d20a1ede93 (tag)
   tagging  f23ca11128fd713789e64a93090d6fd7ec9eca72 (commit)
  replaces  debian/8.3.pl1+dfsg-2
 tagged by  Stephane Glondu
        on  Tue Apr 19 19:13:42 2011 +0200

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

iQIcBAABCgAGBQJNrcLGAAoJEHhT2k1JiBrTCHQP/3j5sh9RTao4AspUlwYWM321
V1SW+Fx4sjpxh14U9ekdPXE+9Ffnxzo8P8lJ0YaBCi+noN25dFu3Zt2MmzYh3qHG
txfK775llwaSG3aDUopec8ejti6e5jOdB85Y8QpSUwAv2cZZi+nkK47in91V1WCB
Y9Ra0w9l0wm5OZ7X9M0Jl6URWrxuaVisEJdyxiJuOWWZSnvzx3MIdsJ9X2Cu6dl+
x23CF4PKHpFmW03lGjP4IRFQtmX1qVG9QV9s3Lni4u8BrU+VNmOJbmw1lj55bBI0
bsXMcTuzdLY/FEZzzDHYnqbwqqwx1Is/Cc5LN83jq52Ek1VIg4O7b1rpbP+Df7bC
xita44egcFpuykHdoawz0VlZBSUlZkOQZkiTrcChaVgvkaoB8m9g+X5PjrNk14d5
Lqn+ARwYErFWoB09nTk1lKW1LOhHSZ7PlN4WRPnMCIVtSPWCWZTalEjcwa7qAxgQ
PuVZY+Muk6D0D20XBM/N566Aw+C/tAiI+QzONGZzyRXyB0b13Az6YUT5zTiiiMhV
53Y3nqyytlqx9vmLbDiqh1Sx1WupynLCrWzucuLYvIfhoz1Usq7ybYyuCFsae38O
HQ1nlsu2evFpKx44kIugu2McUuZtth1HF7t6cFJWg42SxBGztlQtsbNUK7Me1obN
OWJI5sfQSQs7ijfdCzyE
=6fbV
-----END PGP SIGNATURE-----

Stephane Glondu (7):
      Promote 8.3 branch to master branch
      Imported Upstream version 8.3.pl2
      Remove non-DFSG contents
      Merge commit 'upstream/8.3.pl2+dfsg'
      New upstream release
      Add patch to fix thumb2-related build error (Closes: #622882)
      Update changelog and prepare upload to unstable

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

-- 
coq packaging