Merge tag 'debian/0.5.1-2' into debian-devel
authorBarak A. Pearlmutter <barak+git@cs.nuim.ie>
Mon, 12 Aug 2013 18:48:43 +0000 (20:48 +0200)
committerBarak A. Pearlmutter <barak+git@cs.nuim.ie>
Mon, 12 Aug 2013 18:48:43 +0000 (20:48 +0200)
commitb7fea638caad8f1e9ef9cf39ed219ca19dba65fb
tree8a0c7368078e98dc04e6a64010076981c24f4f50
parent4608bc905fc5edafe0e394de5577db13a9d67972
parent346ca57dab9e26822fe17ee0e6a60ea597c7a815
Merge tag 'debian/0.5.1-2' into debian-devel

Debian release 0.5.1-2

# gpg: Signature made Mon 12 Aug 2013 19:27:16 CEST using DSA key ID FEC23FB2
# gpg: Good signature from "Barak A. Pearlmutter <barak@cs.nuim.ie>"
# gpg:                 aka "Barak Pearlmutter <barak@cs.may.ie>"
# gpg:                 aka "Barak Pearlmutter <bap@cs.unm.edu>"
# gpg:                 aka "Barak Pearlmutter <bap@debian.org>"
# gpg:                 aka "Barak Pearlmutter <barak.pearlmutter@alumni.cs.cmu.edu>"
# gpg:                 aka "Barak A. Pearlmutter <bap@debian.org>"
# gpg:                 aka "Barak A. Pearlmutter <bap@cs.unm.edu>"
# gpg:                 aka "Barak A. Pearlmutter <barak.pearlmutter@alumni.cs.cmu.edu>"
# gpg:                 aka "Barak A. Pearlmutter <barak@cs.may.ie>"
# gpg:                 aka "Barak Pearlmutter <barak@cs.nuim.ie>"