On Mon, Jun 19, 2017 at 8:41 AM Nicolas Petton wrote: > Indeed, the patch got revised a few times, and I forgot to double-check > the commit message when applying it. > Thanks! That explains :) Also, if the back-story of this commit is a bug report, it would be useful to have "(Bug#NNNNN)" in the commit log. Reference: http://git.savannah.gnu.org/cgit/emacs.git/plain/CONTRIBUTE (Search for "Bug#"). -- Kaushal Modi