Build #964 (May 7, 2021 1:17:52 AM)

PR #3405: Export static libraries

	No changes.
	GitHub pull request #3405 of commit e26c0d4c49a2ead01a141539840e23bfeab067e5, no merge conflicts.

Configurations