Skip to content

Minor formatting changes #1272

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Apr 15, 2025
Merged

Minor formatting changes #1272

merged 1 commit into from
Apr 15, 2025

Conversation

maximemulder
Copy link
Contributor

No description provided.

@maximemulder maximemulder added the Difficulty: Trivial PR or issue whose implementation is obviously correct and no-risk (typo, formatting...) label Apr 15, 2025
@maximemulder maximemulder merged commit e485468 into aces:main Apr 15, 2025
9 checks passed
@maximemulder maximemulder deleted the formatting branch April 15, 2025 03:29
@cmadjar cmadjar modified the milestones: 27, 27.0 Apr 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
Difficulty: Trivial PR or issue whose implementation is obviously correct and no-risk (typo, formatting...)
Projects
None yet
Milestone
27.0
Development

Successfully merging this pull request may close these issues.
2 participants
@maximemulder @cmadjar