Commit 4873eb1d316f7a6b0df97ccd3b3bd4b563fcd1de

Werner Lemberg 2018-08-19T07:27:21

Update `CHANGES' file.