[SCM] KDevelop PHP plugin documentation packaging annotated tag, debian/1.3.1-1, created. debian/1.3.1-1

[Pino Toscano]

The annotated tag, debian/1.3.1-1 has been created
        at  6f513693d396ef002b7a0a3d173e2dce57b61753 (tag)
   tagging  737e4e6e663bb1000bf0a501f6af7c9b79821df0 (commit)
  replaces  debian/1.2.2-1
 tagged by  Pino Toscano
        on  Sat May 19 00:03:26 2012 +0200

- Shortlog ------------------------------------------------------------
1.3.1-1 experimental; urgency=low
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iD8DBQBPtscuTNH2piB/L3oRAqYkAJ0VdkYeHnct+bttbA4SKpQ64AfuzgCgplAJ
dTNl5sZp0sfkCGw8trroHOA=
=qeDL
-----END PGP SIGNATURE-----

Andreas Cord-Landwehr (6):
      New upstream release 1.2.3.
      Prepare new upstream release.
      Update copyright file.
      Prepare new upstream release.
      Bump standards version to 3.9.3.
      Bump kdevplatform build dependency.

Pino Toscano (5):
      add ${misc:Depends} to kdevelop-php-docs-l10n
      control: make kdevelop-php-docs enhance kdevelop
      switch to debhelper compat v9
      update lintian overrides
      release to experimental, as team upload

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

-- 
KDevelop PHP plugin documentation packaging