Build #165 (Dec 6, 2019 5:59:16 PM)

PR #2633: Trace add filter

	No changes.
	GitHub pull request #2633 of commit d324b62b61c84667de861378cb035380f593b0c3, no merge conflicts.

Configurations