diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-09 15:18:29 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-10-09 15:18:29 +0100 |
| commit | 95c498d913a2aec1b97ae3613290e7d7a104d0e4 (patch) | |
| tree | 63a31ca57b77703d42f95a2c20deee10eda5580d /editors | |
| parent | c1a8c032994ea9af478ccb48e229754ad0e677e1 (diff) | |
| parent | 55ecfbb99b105a6c1be1e3889a61e8bba376f524 (diff) | |
Merge #6185
6185: Add note if RUST_SRC_PATH is likely to be wrong r=jonas-schievink a=jonas-schievink
bors r+ :robot:
Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions