Commit e77ee789faaf5697143027452df6669afede0a57

Werner Lemberg 2017-08-11T07:11:43

CHANGES: Minor update.