Skip to content

Conversation

petrochenkov
Copy link
Contributor

@petrochenkov petrochenkov commented Jul 21, 2025

@petrochenkov
Copy link
Contributor Author

I hope it's not quite Monday yet in US.

Copy link
Contributor

@tomassedovic tomassedovic left a comment

Choose a reason for hiding this comment

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

We need to fix the CI and I think the link to the RFC is incorrect.

| Task owners | <!-- TASK OWNERS --> |
| Status | Proposed |
| Zulip channel | N/A |
| Tracking issue | [tracking issue] |
Copy link
Contributor

Choose a reason for hiding this comment

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

Leave the second column empty (remove [tracking issue]) to make CI pass.

| Lang-team champion | ![Team][] [lang] | @traviscross |
| RFC decision | ![Team][] [lang] | |

[RFC 3530]: https://github.com/rust-lang/rust/issues/118212
Copy link
Contributor

Choose a reason for hiding this comment

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

I think this should link to the RFC itself (rust-lang/rfcs#3530) rather than the tracking issue. Sorry if I've missed something!

@tomassedovic
Copy link
Contributor

@traviscross heads up, this mentions you as a lang sponsor. I believe you're aware but just in case.

@tomassedovic tomassedovic merged commit 7b33d0b into rust-lang:main Jul 21, 2025
2 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.

2 participants