Skip to content

Flagship goals#212

Merged
nikomatsakis merged 5 commits intorust-lang:mainfrom
nikomatsakis:flagship-goals
Jan 7, 2025
Merged

Flagship goals#212
nikomatsakis merged 5 commits intorust-lang:mainfrom
nikomatsakis:flagship-goals

Conversation

@nikomatsakis
Copy link
Copy Markdown
Contributor

No description provided.

Comment thread src/2025h1/README.md Outdated
Comment thread src/2025h1/README.md
Comment thread src/2025h1/README.md Outdated
nikomatsakis and others added 2 commits January 7, 2025 10:23
Co-authored-by: Rémy Rakic <remy.rakic+github@gmail.com>
Co-authored-by: Alex Gaynor <alex.gaynor@gmail.com>
@nikomatsakis nikomatsakis merged commit 863f760 into rust-lang:main Jan 7, 2025
@lqd
Copy link
Copy Markdown
Member

lqd commented Jan 7, 2025

The markdown preprocessor will do that automatically

Sorry to inform you that it didn't :) https://rust-lang.github.io/rust-project-goals/2025h1/index.html#flagship-goals

(I'll make a PR later to fix it.)

@lqd lqd mentioned this pull request Jan 10, 2025
nikomatsakis added a commit to nikomatsakis/rust-project-goals-ndm that referenced this pull request Jun 5, 2025
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