diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-06 17:54:31 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-06 17:54:31 +0100 |
commit | 1a0988b899236f4fb4964c5be4b8d1cba909e549 (patch) | |
tree | b32d66171d5fa3e696f7efb068f86bba19c5b8ec /xtask/src/lib.rs | |
parent | 5b697d5693091c2e9da0d8c7d50fdbff7e7a3147 (diff) | |
parent | 1ec953f11744c708ba74c238737eac8e96a1c7b1 (diff) | |
parent | e0b63855b1874ccc71a49c933f73c62c95a92d54 (diff) |
Merge #4316 #4351
4316: do not truncate display for hover r=matklad a=bnjjj
close #4311
4351: Fix Windows server path r=matklad a=lnicola
CC @Coder-256.
Co-authored-by: Benjamin Coenen <[email protected]>
Co-authored-by: Laurențiu Nicola <[email protected]>