python3 and macOS

[dgobbi (David Gobbi)]

Thanks for maintaining those bots. The CI bots don’t always catch everything.