Subject: Re: bug#19853: Acknowledgement (25.0.50; ElDoc is displayed whether eldoc-mode is enabled or not)

From: Michael Heerdegen <[email-masked]>
Date: Wed, 23 Mar 2016 16:16:01 +0100

Stefan Monnier <[email-masked]> writes:

> I don't have an opinion on this.
>
>
>         Stefan

Ok, thanks.  I don't have a preference for one of the suggested
solutions, too.

Dmitry, then I suggest you just make the change you prefer (on master, I
guess) - can you do that?

Thanks,

Michael.