Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
See fblanqui/color#42 (comment) and https://coq.zulipchat.com/#narrow/stream/237663-coq-community-devs-.26-users/topic/coq.3Adev.20Docker.20tag.20currently.20unavailable/near/282503558
- Loading branch information