Skip to content

Minor Simplifications#17

Merged
kalverra merged 10 commits into
mainfrom
simple
Jun 16, 2026
Merged

Minor Simplifications#17
kalverra merged 10 commits into
mainfrom
simple

Conversation

@kalverra

Copy link
Copy Markdown
Collaborator
  • delete the .xml file.

@kalverra kalverra requested a review from a team as a code owner June 16, 2026 20:53
@kalverra kalverra enabled auto-merge (squash) June 16, 2026 20:54
@kalverra kalverra requested a review from erikburt June 16, 2026 20:54
@kalverra kalverra merged commit 5770b38 into main Jun 16, 2026
9 checks passed
@kalverra kalverra deleted the simple branch June 16, 2026 20:55
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.

2 participants