diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-03 12:59:22 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-02-03 12:59:22 +0000 |
| commit | 85e1f0905aae762b8d64b52e76bbc6aa5915894b (patch) | |
| tree | 269c350411483fc125e68cf7b81445844975d0b6 /docs/dev | |
| parent | 05b3fe4255445a095bb30301dabfb7878e8c382e (diff) | |
| parent | a89fc070c60ea636061669a5cc3e25ba2c8ca61c (diff) | |
Merge #7538
7538: Make sure normal dependencies always have version r=edwin0cheng a=pksunkara
How do I prevent this happening in the future by doing something in the CI? IIRC this is the second time.
Co-authored-by: Pavan Kumar Sunkara <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions