Subject: Re: bug#56393: Actually fix the long lines display bug
From: Gregory Heytings <[email-masked]>
To: Lars Ingebrigtsen <[email-masked]>
Cc: [email-masked], [email-masked], Eli Zaretskii <[email-masked]>
Date: Thu, 21 Jul 2022 11:56:18 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

>> 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.