Closed timholy closed 3 years ago
Also updates:
closes #736
Thanks for the review! I'll merge and then delete the appveyor webhook (the reason for the failure here).
Also updates:
closes #736