Skip to content

Fix formatting after #135#136

Merged
mgeisler merged 1 commit into
masterfrom
fix-formatting
Sep 9, 2023
Merged

Fix formatting after #135#136
mgeisler merged 1 commit into
masterfrom
fix-formatting

Conversation

@mgeisler
Copy link
Copy Markdown
Owner

@mgeisler mgeisler commented Sep 9, 2023

No description provided.

@mgeisler mgeisler enabled auto-merge September 9, 2023 16:58
@mgeisler mgeisler merged commit 5fbe75a into master Sep 9, 2023
@mgeisler mgeisler deleted the fix-formatting branch September 9, 2023 17:00
@github-actions github-actions Bot mentioned this pull request Sep 9, 2023
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