Skip to content

Comments

clarify what is optional is optional#158

Merged
Sakurann merged 1 commit intomainfrom
optional
Jan 30, 2025
Merged

clarify what is optional is optional#158
Sakurann merged 1 commit intomainfrom
optional

Conversation

@Sakurann
Copy link
Contributor

resolves #148 .

I honestly don't know if we need this, but it came up enough that there is an issue, so if we agree we don't need this, we should just close the issue

Copy link
Member

@bc-pi bc-pi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

seems completely unnecessary but if people keep asking ...

@Sakurann Sakurann merged commit d143fa0 into main Jan 30, 2025
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

clarify requirements on the optional parameters

5 participants