Build #788 (Jan 4, 2021 7:41:55 PM)

PR #3211: Refactoring print_json_hist

	No changes.
	GitHub pull request #3211 of commit 94afc2aff5e3508a1a59ec728cac226842d60e95, no merge conflicts.

Configurations