Subject: Re: bug#56393: Actually fix the long lines display bug

From: Gregory Heytings <[email-masked]>
Date: Thu, 21 Jul 2022 11:56:18 +0000

>> Okay.  Should I wait for Lars' feedback?
>
> Merging into master is fine by me.
>

Thanks, now done.

Should I delete the feature branch?  I don't remember what the policy is.