Build #312 (Aug 12, 2020, 1:26:34 PM)

PR #605: Update changelog with the b...

	No changes.
	GitHub pull request #605 of commit 83ef4e1c12d972ff6e2193a392573636b3c3b61c, no merge conflicts.

Module Builds

MicroProfile Metrics API	12 sec
MicroProfile Metrics API-TCK	9.1 sec
MicroProfile Metrics Optional-TCK	2.7 sec
MicroProfile Metrics	13 sec
MicroProfile Metrics REST-TCK	8.9 sec
MicroProfile Metrics Specification	19 sec