Closed vincentvanhees closed 7 months ago
Fixes #103
Checklist before merging:
inst/NEWS.Rd
DESCRIPTION
Fixes #103
Checklist before merging:
inst/NEWS.Rd
with a user-readable summary. Please, include references to relevant issues or PR discussions.DESCRIPTION
file.