Build #149 (Nov 26, 2019 4:44:38 PM)

PR #2613: Do not traverse attributes ...

	No changes.
	GitHub pull request #2613 of commit 1696ed9c2a10509a0567079c56a29e94b3b5a2ef, no merge conflicts.

Configurations