add missing changelog entry
authorChristian Grothoff <christian@grothoff.org>
Wed, 5 Jun 2019 15:38:44 +0000 (17:38 +0200)
committerChristian Grothoff <christian@grothoff.org>
Wed, 5 Jun 2019 15:38:44 +0000 (17:38 +0200)
commit76d8914d6445c223c095067df370632cdc0d05ed
tree48845299baa4cbc5dadc52001367df426daacfc4
parenta39f6df40cf8bf89cf714580886414831ba9f68a
add missing changelog entry
ChangeLog