diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-06 19:49:42 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-06 19:49:42 +0100 |
| commit | 5df65e5066a534cfb1e0d5ff494b1cd775d5dd90 (patch) | |
| tree | 835b75d87d810dc14478322d7b8f94a6ea2247b1 /lib/arena | |
| parent | 428cf21143710aca24e3ea6d2ba90e1e3f0e548a (diff) | |
| parent | 693c516ff2af7b72aefe38ac363997a2921df916 (diff) | |
Merge #8383
8383: Update Zulip URL r=lnicola a=lnicola
bors r+
changelog skip
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'lib/arena')
0 files changed, 0 insertions, 0 deletions