Merge tag 'upstream/0.7.2'
authorCharles Plessy <plessy@debian.org>
Fri, 9 Aug 2013 09:34:29 +0000 (18:34 +0900)
committerCharles Plessy <plessy@debian.org>
Fri, 9 Aug 2013 09:34:29 +0000 (18:34 +0900)
commit4b62e3892a35913801cbb44e6536da0ed7028c61
tree40af06acbbac658a3b5c5ebb3088687d51d71e82
parentd3756a48ec57eb24f2585f27ac0f2a16d4e00ccc
parent51573cd75c6cee3d197a5bccaf8be98856af176a
Merge tag 'upstream/0.7.2'

Upstream version 0.7.2

# gpg: Signature made Fri 09 Aug 2013 18:34:29 JST using RSA key ID 2295D502
# gpg: Good signature from "Charles Plessy <plessy@debian.org>"