On 8 August 2015 at 01:18, Axel Beckert <[email protected]> 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
