Are you sure they changed it? https://github.com/docker/docker.github.io/issues/...

		choward on Sept 6, 2019 \| parent \| context \| favorite \| on: Why doesn’t anyone weep for Docker? Are you sure they changed it? https://github.com/docker/docker.github.io/issues/6910