Skip to content

Revert bad direct push#18

Open
dvorak0 wants to merge 2 commits intomainfrom
revert-bad-commit
Open

Revert bad direct push#18
dvorak0 wants to merge 2 commits intomainfrom
revert-bad-commit

Conversation

@dvorak0
Copy link
Copy Markdown
Contributor

@dvorak0 dvorak0 commented Mar 31, 2026

Revert 7f4df7f which was incorrectly pushed directly to main instead of via PR.

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.

1 participant