Closed vincentvanhees closed 6 months ago
Fixes #1062
See issue for my reflections on why this change is needed.
Checklist before merging:
inst/NEWS.Rd
DESCRIPTION
After some reflection, I will make a few edits to this PR today:
Fixes #1062
See issue for my reflections on why this change is needed.
Checklist before merging:
inst/NEWS.Rd
with a user-readable summary. Please, include references to relevant issues or PR discussions.DESCRIPTION
file, if you think you made a significant contribution.