Build #529 (Jun 4, 2020 7:29:06 AM)

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

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

Configurations