bug#56393: Actually fix the long lines display bug

[Eli Zaretskii]

> Date: Thu, 21 Jul 2022 11:56:18 +0000
> From: Gregory Heytings <gregory@heytings.org>
> cc: gerd.moellmann@gmail.com, Eli Zaretskii <eliz@gnu.org>, 
>     56393-done@debbugs.gnu.org
> 
> 
> >> Okay.  Should I wait for Lars' feedback?
> >
> > Merging into master is fine by me.
> 
> Thanks, now done.

Thanks.

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

The general policy is to delete them.  My suggestion is to wait for a
few days before actually deleting the branch, just so the dust
settles.