Skip to content

Conversation

@tomassedovic
Copy link
Contributor

@tomassedovic tomassedovic commented Nov 5, 2025

@tomassedovic tomassedovic force-pushed the 2025-october-goals-update branch from b4c2369 to 2a5092c Compare November 5, 2025 13:56
@tomassedovic tomassedovic marked this pull request as draft November 5, 2025 13:57
@tomassedovic
Copy link
Contributor Author

Keeping this as a draft for now. It should me merged after the September update #1731 is published.

@tomassedovic
Copy link
Contributor Author

cc @traviscross @nikomatsakis @lqd

@traviscross
Copy link
Contributor

Thanks @tomassedovic; will have a look.

HTML blocks are ended with a blank line, causing these to not render
correctly.
@ehuss ehuss marked this pull request as ready for review November 19, 2025 15:32
@ehuss ehuss enabled auto-merge November 19, 2025 15:33
@ehuss ehuss merged commit dd6ed86 into rust-lang:main Nov 19, 2025
6 checks passed
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.

3 participants