update ChangeLog
authorChristian Grothoff <christian@grothoff.org>
Sat, 7 Dec 2019 13:40:11 +0000 (14:40 +0100)
committerChristian Grothoff <christian@grothoff.org>
Sat, 7 Dec 2019 13:40:11 +0000 (14:40 +0100)
commit3a13f497bc0edad6e1155685f167fafa5e58e75f
tree171c052b33f8b4520adf793e40d6c5f13cd35620
parenta6b9d2e1879a4072dbece09f37d3bec672ec4a09
update ChangeLog
ChangeLog