log changes
Merge tag 'debian/1.2.11a1-3'

ivtools Debian release 1.2.11a1-3

# gpg: Signature made Tue 14 Oct 2014 10:10:20 IST using RSA key ID 5E190D18
# gpg: Good signature from "Barak A. Pearlmutter <barak@cs.nuim.ie>"
# gpg:                 aka "Barak A. Pearlmutter <bap@debian.org>"
# gpg:                 aka "Barak A. Pearlmutter <barak.pearlmutter@gmail.com>"
# gpg:                 aka "Barak A. Pearlmutter <barak.pearlmutter@alumni.cmu.edu>"
# gpg:                 aka "Barak A. Pearlmutter <barak.pearlmutter@nuim.ie>"