Commit 93771d619f117036da1d20e823840aff6de0e03c

Werner Lemberg 2021-07-16T07:40:56

Formatting and ChangeLog additions for previous commits.