Build #527 (Jun 4, 2020 6:12:39 AM)

PR #2950: turn off x86 jump table opt...

	No changes.
	GitHub pull request #2950 of commit 4d38e35e5c1572e2ee0e16f2ea5d790a314f5ec3, no merge conflicts.

Configurations