On 19 Nov 2015 11:34 pm, "Karl Fogel" <kfogel@red-bean.com> wrote:
> Done, in commit c593538968a on the 'emacs-25' branch.

Thank you, Karl.

> (I think I don't need to do anything special to port this over to
> 'master', right?  It'll just happen automagically at some point?)

Yes. At some point someone will merge these back.