Build #590 (Jul 6, 2020 10:49:55 PM)

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

	No changes.
	GitHub pull request #3003 of commit 5670b85dc2ed29fe2f1067f6291221c02e808dbb, no merge conflicts.

Configurations