Subject: Re: bug#27230: eldoc doc

From: Eli Zaretskii <[email-masked]>
Date: Sat, 22 Jul 2017 11:11:44 +0300

> Cc: [email-masked]
> From: "Charles A. Roelli" <[email-masked]>
> Date: Wed, 28 Jun 2017 21:16:32 +0200
> 
> (patch v3 attached).

Thanks, pushed.

In the future, please mention the bug number in the commit log
message, so that whoever pushes the changes won't need to do that by
hand.