Yes, the problem seems to be fixed for me by installing 0.12.2-1. On Tue, May 8, 2012 at 5:23 PM, Luca Falavigna <dktrkranz at debian.org> wrote: > Isaac, > could you please confirm 0.12.2-1 fixed the issue for you too?