Build #255 (Mar 30, 2020 1:46:42 AM)

PR #560: Proposal for global tags re...

	No changes.
	GitHub pull request #560 of commit 08f96241d875e7bcc717bf45fc274781bfbeece5, no merge conflicts.

Module Builds

MicroProfile Metrics API	26 sec
MicroProfile Metrics API-TCK	13 sec
MicroProfile Metrics Optional-TCK	4.4 sec
MicroProfile Metrics	22 sec
MicroProfile Metrics REST-TCK	15 sec
MicroProfile Metrics Specification	41 sec