Closed chfritz closed 5 months ago
Fixes #357.
macOS build broken for a while so I'll merge anyway, this LGTM.
Fixes #357.