[SCM] mathpartir packaging annotated tag, debian/1.2-1, created. debian/1.2-1

[Ralf Treinen]

The annotated tag, debian/1.2-1 has been created
        at  4dff2ec756639c1f50c1942061d104b87184a438 (tag)
   tagging  020a855097aaaec33b22a733f674e39335b50652 (commit)
  replaces  debian/1.1.1-2
 tagged by  Ralf Treinen
        on  Sun May 15 16:47:02 2011 +0200

- Shortlog ------------------------------------------------------------
Debian release 1.2-1

Ralf Treinen (2):
      Imported Upstream version 1.2
      Imported Debian patch 1.2-1

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

-- 
mathpartir packaging