diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-14 10:34:29 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-10-14 10:34:29 +0100 |
| commit | 85361e8d507cf608001447a5ce2c4b6cd3f22535 (patch) | |
| tree | b85bc497c7c1c7a1976fdca733c40405bba1a1a4 /editors | |
| parent | 77f2dd96a122e59a8d8df8afb53a741df9b1af76 (diff) | |
| parent | a1d631da4f4c4ffe317f3765c6aa5d4c08379e24 (diff) | |
Merge #2000
2000: Use correct db type r=matklad a=kjeremy
I think this is more correct. No test fallouts.
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions