Build #195 (Dec 27, 2019 6:31:54 PM)

PR #2672: man: fix required kernel ve...

	No changes.
	GitHub pull request #2672 of commit 735dbebbed7dcd47ad08a7dacf10620f10432c64, no merge conflicts.

Configurations