diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-04 19:00:45 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-04 19:00:45 +0100 |
commit | 7c2f1415912ccf2803c1865db974a8f7e2a26c74 (patch) | |
tree | e4b35b0ef43410a94863b3a0bb79cb401c6ad313 /editors | |
parent | 45b9d6d553cf4e48f41c6f0f101bf959b821e0c0 (diff) | |
parent | dc142152e6d9953acd94e560d3282ef18c1a414a (diff) |
Merge #3848
3848: Remove unused dependencies r=kjeremy a=est31
Found by cargo-udeps
Co-authored-by: est31 <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions