Skip to content

Don't ping - #84

Merged
nia-e merged 1 commit into
rust-lang:mainfrom
clarfonthey:triagebot-libs
Sep 30, 2026
Merged

nia-e merged 1 commit into
rust-lang:mainfrom
clarfonthey:triagebot-libs

Conversation

@clarfonthey

Copy link
Copy Markdown
Contributor

cc @nia-e

@nia-e
nia-e merged commit 6deda18 into rust-lang:main Sep 30, 2026
3 checks passed
@clarfonthey
clarfonthey deleted the triagebot-libs branch September 30, 2026 23:10
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