Skip to content

Talk about preemptive objections - #368

Merged
mnot merged 1 commit into
mainfrom
mnot-patch-1
Aug 17, 2026
Merged

Talk about preemptive objections#368
mnot merged 1 commit into
mainfrom
mnot-patch-1

Conversation

@mnot

@mnot mnot commented Aug 17, 2026

Copy link
Copy Markdown
Owner

No description provided.

@mnot
mnot merged commit 45130b1 into main Aug 17, 2026
2 checks passed
@mnot
mnot deleted the mnot-patch-1 branch August 17, 2026 21:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant