diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-09-11 20:08:52 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-09-11 20:08:52 +0100 |
commit | 199ebf110353da2da4d706f72adede96149ba977 (patch) | |
tree | ee89d923dc777cdddf3b99fbf89fb2ad928ee408 /editors | |
parent | fab7543290573081484c99aa7ca4585bc4d45747 (diff) | |
parent | 50bbe8bdddca1bf09fe55886d00baae0e0ae86b4 (diff) |
Merge #5980
5980: Update serde r=kjeremy a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions