Commit 986a21b73a775f47ba9518ef38e57bf4e6c9167a

Werner Lemberg 2017-08-06T06:35:19

CHANGES update suggested by Nikolaus.