Build #525 (Jun 3, 2020 6:45:35 AM)

PR #2945: Docker: add kmod dependency...

	No changes.
	GitHub pull request #2945 of commit b71218a201366df42de8698e08aa59694998c7fa, no merge conflicts.

Configurations