diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-23 07:03:43 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-23 07:03:43 +0000 |
| commit | f7f85cdd8d0660e3556c15864efd6158f114e343 (patch) | |
| tree | 8758cad3fa6a8203bbb13f72ddcaeef2128f8b98 /docs/dev | |
| parent | 493e29d7132a25ce13c10393c581c2f9e1116320 (diff) | |
| parent | 25a987703c05d5a78059eb776a5b4ca65018a816 (diff) | |
Merge #7011
7011: Don't release uncompressed binaries under the new naming scheme r=lnicola a=lnicola
bors r+
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions