diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-24 15:58:06 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-24 15:58:06 +0100 |
| commit | c1e3bd81005ccae9549b4cd5cefbfa522de972e5 (patch) | |
| tree | 6d93905d05d1c277b60054c0bad59327804e1dcd /editors | |
| parent | 2d532ab150546fede268b732784eda73958c19cf (diff) | |
| parent | 400cf102990993fae26794d2ee559cd427b4aad6 (diff) | |
Merge #8969
8969: fix: Update download instructions r=cschmatzler a=lnicola
Closes #8966
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions