Skip to content

aggregated small commits - #7490

Merged
bors merged 3 commits into
masterfrom
rollup
Jun 30, 2013
Merged

aggregated small commits#7490
bors merged 3 commits into
masterfrom
rollup

Conversation

@thestinger

Copy link
Copy Markdown
Contributor

603137c r=cmr
fe10db2 r=bstrie

thestingerand others added 3 commits June 29, 2013 17:33
* hide the rustrt module in the docs
* remove the useless `traits` module wrapping the `Add` impl
@thestingerthestinger mentioned this pull request Jun 29, 2013
bors added a commit that referenced this pull request Jun 30, 2013
@bors
bors merged commit 052f28a into masterJun 30, 2013
U007D pushed a commit to U007D/rust-mos that referenced this pull request Aug 21, 2026
7490: cargo update r=kjeremy a=kjeremy
Co-authored-by: kjeremy <kjeremy@gmail.com>
Sign up for freeto 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.

3 participants

@thestinger@bors@Seldaek