Build #43 (Aug 5, 2019 3:21:15 PM)

PR #2483: tools: fix vfscount output ...

	No changes.
	GitHub pull request #2483 of commit ddb64a999f6203ae9da617a8dc8f407b153eeb98, no merge conflicts.

Configurations