Closed arnaudsjs closed 4 days ago
Fix documentation regarding uid and gid in legacy docker container.
closes #7674
Processing this pull request
Merged into branches master in 74956e52f8979ff54bf7477d1124966f5c870a22
Processing #7812.
Processing #7813.
Description
Fix documentation regarding uid and gid in legacy docker container.
closes #7674
Self Check:
Type annotations are presentCode is clear and sufficiently documentedNo (preventable) type errors (check using make mypy or make mypy-diff)Sufficient test cases (reproduces the bug/tests the requested feature)Correct, in line with designIf this PR fixes a race condition in the test suite, also push the fix to the relevant stable branche(s) (see test-fixes for more info)