First new Docker release under Mirantis appears

Docker, the company, couldn't make a go of it, but Docker Enterprise, under its new owner Mirantis, is moving forward.