Subject: bug#12840: 24.2.50; ediff: mode-line of control buffer - improvement request

From: Michael Heerdegen <[email-masked]>
Date: Sun, 19 Jun 2022 14:30:29 +0200

Lars Ingebrigtsen <[email-masked]> writes:

> Sure, that's better; please go ahead and push.

Done.

I also investigated what the original intention could have been.
Originally, "Howdy!" was shown instead of "Quick Help".

Later this was changed to "Quick Help" (to say something meaningful, I
guess).  So I would say we are compatible with the original intention.

Michael.