Subject: Re: add tiny-change equivalent to 62e7506

From: Paul Eggert <[email-masked]>
Date: Thu, 16 Apr 2015 23:05:37 -0700

I fixed this as follows (and anyone can use this as a recipe for this sort of 
thing next time):

git checkout master
make change-history
[Edit ChangeLog.2 by hand.]
[Commit the ChangeLog.2 edit.]