Build #104 (Oct 31, 2019 5:52:52 AM)

PR #2577: [RFC] introduce map.lookup_...

	No changes.
	GitHub pull request #2577 of commit 7fdfa8c8bd080fc8e2a0940fe241ad0b1503ae74, no merge conflicts.

Configurations