Build #587 (Jul 4, 2020 5:38:11 PM)

PR #3003: add the option --hexdump to...

	No changes.
	GitHub pull request #3003 of commit 5a126e9bd926debe8dc1301c35a62e546e6f8cd4, no merge conflicts.

Configurations