diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-14 15:30:59 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-06-14 15:30:59 +0100 |
| commit | db910e1573cb88cce9c9bc4ca7e701468b17b82d (patch) | |
| tree | 915f7d53fefd8441fb2324a5f2b51c7910a8b0a6 /editors | |
| parent | d4ab49c53303c31858955bc971fe1305445f1de1 (diff) | |
| parent | 721feb18322101a98b8b614f93fbd35a139e435f (diff) | |
Merge #9265
9265: internal: prepare to move rename to base_db r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions