On 25 March 2014 09:43, James Page <james.page@ubuntu.com> wrote: > Fix pushed to the git repo. Awesome, thank you! In the meantime, I filed a removal request for the binary packages: https://bugs.debian.org/742544 -- Tim Retout <diocles@debian.org>