Build #226 (Jan 9, 2020 9:46:50 PM)

PR #2696: update usage of MCInstPrint...

	No changes.
	GitHub pull request #2696 of commit 6b124805e4a21d151f727d253a40c7dd01655679, no merge conflicts.

Configurations