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.

Sign up for GitHub

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

Jump to bottom

Dummy issue for testing automatic prioritization #73245

Closed
LeSeulArtichaut opened this issue Jun 11, 2020 · 1 comment
Closed

Dummy issue for testing automatic prioritization #73245

LeSeulArtichaut opened this issue Jun 11, 2020 · 1 comment

Comments

@LeSeulArtichaut
Copy link
Contributor

See #73181.
@LeSeulArtichaut LeSeulArtichaut added the I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness label Jun 11, 2020
@rustbot rustbot added the I-prioritize Issue: Indicates that prioritization has been requested for this issue. label Jun 11, 2020
@LeSeulArtichaut LeSeulArtichaut added I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness requires-nightly This issue requires a nightly compiler in some way. and removed I-prioritize Issue: Indicates that prioritization has been requested for this issue. I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness labels Jun 11, 2020
@LeSeulArtichaut
Copy link
Contributor Author

Perfect =)

@LeSeulArtichaut LeSeulArtichaut removed I-unsound Issue: A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness requires-nightly This issue requires a nightly compiler in some way. labels Jun 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@LeSeulArtichaut @rustbot