Skip to content

make tidy#820

Merged
bgentry merged 1 commit intomasterfrom
bg-make-tidy
Mar 25, 2025
Merged

make tidy#820
bgentry merged 1 commit intomasterfrom
bg-make-tidy

Conversation

@bgentry
Copy link
Copy Markdown
Contributor

@bgentry bgentry commented Mar 25, 2025

There's a fair bit of diff just from running make tidy so I thought it deserved its own isolated PR.

@bgentry bgentry requested a review from brandur March 25, 2025 16:00
@bgentry bgentry enabled auto-merge (squash) March 25, 2025 16:00
@bgentry bgentry merged commit 69f0a67 into master Mar 25, 2025
10 checks passed
@bgentry bgentry deleted the bg-make-tidy branch March 25, 2025 16:16
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