diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-08-20 17:56:24 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-08-20 17:56:24 +0100 |
commit | bdf16d1b670959f35bcbadbfd11b5c1b5a396703 (patch) | |
tree | a1ed678df5a59200f91d7412f45acef158e54cfd /crates/ra_hir/src/ty/op.rs | |
parent | 43dd8b64e70ab883f39d3dcf73a21daf0e2fe6ea (diff) | |
parent | 77751cfe01311d9e4fbb61c8dca352289499b3b7 (diff) | |
parent | f2d458760a22a53b7d7882eea4234f2e2a9947d7 (diff) |
Merge #1706 #1708
1706: Normalize line endings to Unix flavor on IO bounraries r=matklad a=matklad
1708: update yanked getrandom r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>