Build #526 (Jun 3, 2020 3:16:33 PM)

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

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

Configurations