Closed andersjl closed 4 months ago
Fixes #8244
A simple rewrite of docker/setup script. No new behaviour.
See #8244
Found no established way to test the project's scripts, so wrote no test.
Merged 75a336b73e93945a56f100c0dfa5dfaa4000f03b
Relevant issue(s)
Fixes #8244
What does this do?
A simple rewrite of docker/setup script. No new behaviour.
Why was this needed?
See #8244
Notes to reviewer
Found no established way to test the project's scripts, so wrote no test.