diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-10-13 16:13:55 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-10-13 16:13:55 +0100 |
commit | 0fb069c5b02072239891ce564feaa7d1890c6d6f (patch) | |
tree | 77b434bfdeac6204697e4a7e989317d2507a1840 /editors | |
parent | 5091b5e9739a283329b475cab84a83117eb5814a (diff) | |
parent | baf84d4a935a4cc6a8259deb52ac7a177038fbe9 (diff) |
Merge #6216
6216: Bump deps r=matklad a=lnicola
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions