[SCM] mathpartir packaging annotated tag, debian/1.2.0-3, created. debian/1.2.0-3

[Ralf Treinen]

The annotated tag, debian/1.2.0-3 has been created
        at  7df03c94f50727d1fc4e255ab559492ab949b600 (tag)
   tagging  12c9ff8e2e3d8cc9f9bce64e72d5869a05043cfb (commit)
  replaces  debian/1.2.0-2
 tagged by  Ralf Treinen
        on  Sun May 15 16:47:04 2011 +0200

- Shortlog ------------------------------------------------------------
Debian release 1.2.0-3

Ralf Treinen (1):
      Imported Debian patch 1.2.0-3

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

-- 
mathpartir packaging