Build #26 (Jul 22, 2019 11:22:14 PM)

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

	No changes.
	GitHub pull request #2468 of commit 0681c90a91537e572c489c014ad00c3020b156d8, no merge conflicts.

Configurations