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

Polish the public API #1462

Merged
merged 23 commits into from
Sep 20, 2024
Merged

Polish the public API #1462

merged 23 commits into from
Sep 20, 2024

Conversation

fuzzypixelz
Copy link
Member

n/a

@fuzzypixelz fuzzypixelz added documentation Improvements or additions to documentation enhancement Existing things could work better breaking-change Indicates that the issue implies a breaking change (be it at compile time or at runtime) labels Sep 20, 2024
@fuzzypixelz fuzzypixelz self-assigned this Sep 20, 2024
@Mallets Mallets enabled auto-merge (squash) September 20, 2024 10:15
@wyfo
Copy link
Contributor

wyfo commented Sep 20, 2024

Why do we want a huge breaking change that can be avoided simply?

@Mallets Mallets merged commit 94ba6f3 into main Sep 20, 2024
23 checks passed
@Mallets Mallets deleted the polish-public-api branch September 20, 2024 13:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
breaking-change Indicates that the issue implies a breaking change (be it at compile time or at runtime) documentation Improvements or additions to documentation enhancement Existing things could work better
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants