diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-12 13:56:58 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-06-12 13:56:58 +0100 |
| commit | c1c2c92e47d1db2386f40c446c5a5122912048a7 (patch) | |
| tree | c32214c7a0f30d3ad2f6a641425fac10bf0053dd /editors/code/src | |
| parent | 409f5fb563bfc992e4d05245d5c17e77ff8e2762 (diff) | |
| parent | 787d980c712e0a9a41b63f44fa075e9bf9497746 (diff) | |
Merge #9229
9229: minor: squelch "unused" warning r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions