diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-11 12:31:32 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-11 12:31:32 +0100 |
| commit | 87ddcba05fe1a80e293565cd09a61c83adc6bc7d (patch) | |
| tree | 7fadbc3615b2eb435005354ef05011a2c15bedde /editors | |
| parent | 9e75b39115180db27888a0a742baba77d0273971 (diff) | |
| parent | 847135495fb194f9eef7b65b515982161d77face (diff) | |
Merge #5313
5313: no doctests r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions