Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixing various smaller issues #1017

Merged
merged 18 commits into from
Jan 30, 2024
Merged

Fixing various smaller issues #1017

merged 18 commits into from
Jan 30, 2024

Conversation

vincentvanhees
Copy link
Member

@vincentvanhees vincentvanhees commented Jan 23, 2024

This PR addresses a couple of minor issues, each of which I prepared in its own branch, but having one combined PR may be easier:

Checklist before merging:

  • Existing tests still work (check by running the test suite, e.g. from RStudio).
  • Added tests (if you added functionality) or fixed existing test (if you fixed a bug).
  • Updated or expanded the documentation.
  • Updated release notes in inst/NEWS.Rd with a user-readable summary. Please, include references to relevant issues or PR discussions.
  • Added your name to the contributors lists in the DESCRIPTION file, if you think you made a significant contribution.

@vincentvanhees vincentvanhees marked this pull request as ready for review January 23, 2024 16:45
@vincentvanhees vincentvanhees merged commit 9daf086 into master Jan 30, 2024
10 checks passed
@vincentvanhees vincentvanhees deleted the issues_1002_1011_1016 branch January 30, 2024 09:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
1 participant