Skip to content

chore: Remove defunct comment - #225

Merged
jbmorley merged 1 commit into
mainfrom
jbmorley/remove-dead-comment
Aug 2, 2026
Merged

chore: Remove defunct comment#225
jbmorley merged 1 commit into
mainfrom
jbmorley/remove-dead-comment

Conversation

@jbmorley

@jbmorley jbmorley commented Aug 2, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@jbmorley
jbmorley enabled auto-merge (squash) August 2, 2026 03:10
@jbmorley
jbmorley merged commit 413358c into main Aug 2, 2026
4 checks passed
@jbmorley
jbmorley deleted the jbmorley/remove-dead-comment branch August 2, 2026 03:15
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