Skip to content

Merging is hard, ok.#20

Merged
argonui merged 1 commit intomainfrom
bugfix
Nov 10, 2022
Merged

Merging is hard, ok.#20
argonui merged 1 commit intomainfrom
bugfix

Conversation

@argonui
Copy link
Copy Markdown
Owner

@argonui argonui commented Nov 10, 2022

Fix bug made by me merging a PR in github ui

Fix bug made by me merging a PR in github ui
@argonui argonui merged commit aa5c10c into main Nov 10, 2022
@argonui argonui deleted the bugfix branch November 10, 2022 02:38
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