Seprentine 0.9-0ubuntu1 is out. It seems to include the upstream fix for this bug, and it indeed fixes the problem for me as far as I can see.
I propose to mark this bug as Fix released.
Seprentine 0.9-0ubuntu1 is out. It seems to include the upstream fix for this bug, and it indeed fixes the problem for me as far as I can see.
I propose to mark this bug as Fix released.