Print some trivia before properties.#1012

Merged

nojaf merged 2 commits intofsprojects:masterfrom nojaf:fix-1009

Aug 19, 2020

+50-8

Commits on Aug 14, 2020

Print some trivia before properties. Fixes fsprojects#1009 .
nojaf
committed

Commits on Aug 19, 2020

Merge branch 'master' into fix-1009
nojaf
authored