feel free to react in issue coq-community/docker-coq#63: pending change: Docker-Coq's default umask if you see some concern regarding this technical change.
Last updated: Oct 13 2024 at 01:02 UTC