diff options
| author | Ariel Ben-Yehuda <arielb1@mail.tau.ac.il> | 2017-03-08 20:54:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-03-08 20:54:05 +0200 |
| commit | 99aad021ce826b1e3ea83dea31f7014e00f56411 (patch) | |
| tree | 8c0040e3b9c0a19504f2d9e6bd65b0cc41d944c6 /src/libstd/sys/unix/stack_overflow.rs | |
| parent | 4e347d634d64b1f346d5bd2cefdaed4b5e86f090 (diff) | |
| parent | df617195f06c27821803acc87e0b1b0dd288799a (diff) | |
| download | rust-99aad021ce826b1e3ea83dea31f7014e00f56411.tar.gz rust-99aad021ce826b1e3ea83dea31f7014e00f56411.zip | |
Rollup merge of #40325 - eddyb:pr38143, r=alexcrichton
Added remove_from to vec.rs (#38143) Turns out that if you push to someone's PR branch and cause the PR to close, you lose delegation 😞. @madseagames I'm really sorry about that ðŸ˜
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions