Comment 10 for bug 612140

Closing manually as LP's auto-closing is broken.

I have reviewed and tested the new release (0.20+bzr112-0ubuntu1) and it fixes the reported problem. Michael, thank you for the quick fix.