Workaround in SVN now. Investigating bug 704927 at the same time - seems related.
Reported upstream as https://gna.org/bugs/?20754 -- Andrew Chadwick -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
