bug#20236: add tiny-change equivalent to 62e7506

[Paul Eggert]

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.]