* Release for Debian
* debian/control:
  - bump standards
releasing 1.12
opening 1.13