diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-24 17:26:08 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-10-24 17:26:08 +0100 |
commit | d5c294f78ca9c621e38b23102e3b5ca1bdd175f3 (patch) | |
tree | 16e6e12fb249bf46ff5e8ba4ee07a8d757970cc2 /docs/dev/README.md | |
parent | 4105378dc7479a3dbd39a4afb3eba67d083bd7f8 (diff) | |
parent | bc6520010569bb5eaf3ef403db9113a743da1d55 (diff) |
Merge #6337
6337: Fix indentation of inserted use statements r=flodiebold a=flodiebold
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'docs/dev/README.md')
0 files changed, 0 insertions, 0 deletions