Stream: Coq devs & plugin devs

Topic: pending change: Docker-Coq default umask: feel free to react


view this post on Zulip Erik Martin-Dorel (Mar 06 2024 at 21:50):

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