On 8 August 2015 at 01:18, Axel Beckert <a...@debian.org> wrote: > Matthijs: I'd close this bug with 0.7-1+b1 if you confirm.
The crashes are gone indeed. The... cosmetic... issue I mailed you about is still present. Should I file a new bug report on that? I'm still not quite sure how to phase it... (Another small detail that's not visible in the animated gif I sent you is that the grey blocks also have blinking black underlines) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org