Skip to content

Remove T-libs-api tag from search query in agenda - #1030

Merged
Urgau merged 1 commit into
rust-lang:masterfrom
clarfonthey:libs-api
Aug 12, 2026
Merged

Remove T-libs-api tag from search query in agenda#1030
Urgau merged 1 commit into
rust-lang:masterfrom
clarfonthey:libs-api

Conversation

@clarfonthey

Copy link
Copy Markdown
Contributor

Poking around the org for changes that might be useful with RFC 3984.

This basically doesn't matter, but I noticed it, so, here you go.

@Urgau Urgau left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm not sure it's used, but it can't hurt.

View changes since this review

@Urgau
Urgau merged commit d32244e into rust-lang:master Aug 12, 2026
@clarfonthey
clarfonthey deleted the libs-api branch August 12, 2026 18:08
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