diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-01 16:18:08 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-01 16:18:08 +0000 |
commit | c17f2bf2a27798858ef2e3012ca28295aed46efa (patch) | |
tree | e53b8f31b65fa92c34fdf0efed141ae603519831 /crates/ide_completion/src/lib.rs | |
parent | f3139d46b073eebc48ec347c899c05e286e6de0e (diff) | |
parent | a445584029213962149ff66d4f566b5bfe0ee076 (diff) |
Merge #7828
7828: Use an unversioned profile dependency in mbe r=edwin0cheng a=lnicola
Apparently, dev dependencies shouldn't be versioned. This hopefully fixes publishing to crates.io.
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/ide_completion/src/lib.rs')
0 files changed, 0 insertions, 0 deletions