Build #12 (Jan 17, 2020, 3:22:36 PM)

	Pull request #2024 updated at 9:01:11 PM on Jan 15, 2020 Started by user Sebastiaan van Stijn Rebuilds build #11
	This run spent: 8 ms waiting; 4 min 37 sec build duration; 4 min 37 sec total from scheduled to completion.
	Revision: 26028d2ce48352c9b2c3f496e963b79a4944a426 Repository: https://github.com/docker/jps.git master
	Revision: 7c7b7cdd3edf4915bba66900ec4d22bbfe0ca9fe Repository: https://github.com/docker/cli.git PR-2024