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/hir_ty/src/traits/chalk.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/hir_ty/src/traits/chalk.rs')
0 files changed, 0 insertions, 0 deletions