Skip to content

Conversation

@vsrs
Copy link
Contributor

@vsrs vsrs commented Jun 29, 2020

Fixes #4974

@matklad
Copy link
Contributor

matklad commented Jun 29, 2020

bors r+

@bors bors bot merged commit 86f1556 into rust-lang:master Jun 29, 2020
@bors
Copy link
Contributor

bors bot commented Jun 29, 2020

@vsrs vsrs deleted the fix_4974 branch July 2, 2020 14:12
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.

At some point we lost the "Run | Debug" lense for examples

2 participants