Make dev on mac great again
Merge pull request #2399 from UniversityOfHelsinkiCS/trunk I don't always fix CI, but when I do, I use duct tape.
Merge pull request #2399 from UniversityOfHelsinkiCS/trunk I don't always fix CI, but when I do, I use duct tape.