Build #1156 (Sep 17, 2021 4:10:10 AM)

PR #3628: fix debian build settings f...

	No changes.
	GitHub pull request #3628 of commit d4daaa0457aef0457881c73f94cd1118e3b60ee4, no merge conflicts.

Configurations