Commit 6b34bf6d25e69d36df1cc70dd193df245a5a072d

Paul Eggert 2015-09-22T19:41:52

Update ChangeLog to match previous patch.