Skip to content

[pull] master from rust-lang:master#930

Merged
pull[bot] merged 2 commits intostevepentland:masterfrom
rust-lang:master
Jul 12, 2019
Merged

[pull] master from rust-lang:master#930
pull[bot] merged 2 commits intostevepentland:masterfrom
rust-lang:master

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Jul 12, 2019

See Commits and Changes for more details.


Created by pull[bot]. Want to support this open source service? Please star it : )

GuillaumeGomez and others added 2 commits June 11, 2019 20:59
[rustdoc] Fix storage usage when disabled

Fixes #61239.

@starblue: Can you give a try to this change please? I tried on chrome and firefox and both worked so if you're using another web browser, that might be useful. :)

r? @Manishearth
@pull pull bot added the ⤵️ pull label Jul 12, 2019
@pull pull bot merged commit 71f9384 into stevepentland:master Jul 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants