Skip to content

Clean up agenda - #888

Merged
nia-e merged 1 commit into
rust-lang:mainfrom
clarfonthey:agenda-mess
Sep 19, 2026
Merged

nia-e merged 1 commit into
rust-lang:mainfrom
clarfonthey:agenda-mess

Conversation

@clarfonthey

Copy link
Copy Markdown
Contributor

Attempt to make the agenda a lot more readable.

@clarfonthey
clarfonthey requested a review from nia-e September 19, 2026 16:37
@clarfonthey

Copy link
Copy Markdown
Contributor Author

cc @nia-e as the one most likely to review this code, but technically any libs member can

@clarfonthey
clarfonthey force-pushed the agenda-mess branch 4 times, most recently from d03bf31 to bc9d81e Compare September 19, 2026 18:37
@nia-e
nia-e merged commit 2aa1ab1 into rust-lang:main Sep 19, 2026
1 check passed
@clarfonthey
clarfonthey deleted the agenda-mess branch September 19, 2026 21:30
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