Subject: Re: bug#24774: 26.0.50; Menu display navigation commands

From: Lars Ingebrigtsen <[email-masked]>
Date: Sat, 27 Feb 2021 15:24:14 +0100

Eli Zaretskii <[email-masked]> writes:

> I'm not sure the average is representative here, given the variance.
> But anyway, the difference is too small to invest any more energy into
> this aspect.

OK; applying and pushing Stefan's patch, then.

And then somebody could take a look at actually implementing the stuff
this bug report is really about.  :-)

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no