Closed wwerner closed 1 year ago
Closes #33
Implements the second fix described in the issue.
Thanks for this fix! I will merge it on saturday!
Closes #33
Implements the second fix described in the issue.