Merge tag 'upstream/0.7.1'
authorCharles Plessy <plessy@debian.org>
Fri, 9 Aug 2013 09:34:24 +0000 (18:34 +0900)
committerCharles Plessy <plessy@debian.org>
Fri, 9 Aug 2013 09:34:24 +0000 (18:34 +0900)
Upstream version 0.7.1

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


Trivial merge