Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Some platform updates. #413

Merged
merged 1 commit into from
Aug 5, 2020
Merged

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented Aug 5, 2020

@ehuss
Copy link
Contributor Author

ehuss commented Aug 5, 2020

What do people think about possibly moving this table to the rustc book in the rust-lang/rust repository? It would then be possible to do some automated checks or generation, to ensure it is somewhat up-to-date. It would also be easier to ask people who are adding/changing support to update the list in the same PR that makes the change.

@Mark-Simulacrum
Copy link
Member

I think that's a good idea! Checking I imagine is going to be "Hard" but maybe there's some strategy we can come up with that would ease that.

@tesuji
Copy link
Contributor

tesuji commented Aug 5, 2020

The page still needs to be exist to point to new URL. Otherwise many links will break.

@XAMPPRocky
Copy link
Member

Thank you for your PR! @ehuss Would you be able to create a separate issue for improving the platform support table? I'm going to merge this and I wouldn't want that to get lost.

@XAMPPRocky XAMPPRocky merged commit d27549a into rust-lang:master Aug 5, 2020
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.

4 participants