diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-30 16:51:06 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-30 16:51:06 +0100 |
| commit | 97df465391f50521c5102474d7e0ee2ea61ef48e (patch) | |
| tree | 2bda021d9fafc6af927ebfbcafd31537496bd53c /editors | |
| parent | 0c8944314cb323416c8ad6ad27347ca056c5a91c (diff) | |
| parent | 216a5344c8ef3c3e430d2761dc8b1a7b60250a15 (diff) | |
Merge #5602
5602: Rename StructDef -> Struct r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions