Closed fvitalini closed 5 years ago
closes #97
Note that this change is not mentioned in NEWS.md, being a small maintenance task. We can decide to add it when wrapping the upcoming patch release.
closes #97