Build #28 (Jul 23, 2019 7:59:44 AM)

PR #2468: Report proper module on ker...

	No changes.
	GitHub pull request #2468 of commit 25eb1e36a8371e893350d284f0d5d5ab5165f14f, no merge conflicts.

Configurations