diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-03-20 12:58:28 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2021-03-20 12:58:28 +0000 |
commit | 5cc8ad0c4afda0c8b6222156b0c725cfb61892c0 (patch) | |
tree | bdbf2a58f34499392256ae4ed4171d201869e197 /docs/dev/guide.md | |
parent | 4d67032bbb3e1f97ee7af43cb6f056d01f791ca2 (diff) | |
parent | a9a7c5cb1f76f6d446e24a6867d404a62e60d8e2 (diff) |
Merge #8119
8119: Don't return a SourceChange on WillRenameFiles when nothing gets refactored r=Veykril a=Veykril
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions