Commit af03d1eaa173d9a1016370ed182fd98cda66965e

Werner Lemberg 2017-10-01T09:23:42

[smooth,type1] Formatting, whitespace.