Output development realm notice following the version string.#197

Merged

davewx7 merged 1 commit intotrunkfrom unknown repository

Oct 19, 2017

+5-1

Commits on Oct 19, 2017

Output realm following the version string.
galegosimpatico
committed