diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-05 21:49:55 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-05 21:49:55 +0100 |
commit | 7e941fe8ec7b196314aa05bf9411cdce978ffa24 (patch) | |
tree | 00cbf8593507a297aca9338233f55e42d3f4bf92 /.github/actions/github-release/main.js | |
parent | d38741f681c173a96e991dc3c213d4c85dc5a8af (diff) | |
parent | c22660179c3f892a56ad5bacfddd4c2ec563d35e (diff) |
Merge #4328
4328: add the allFeatures flag (true by default) r=matklad a=guigui64
As discussed on zulip.
Co-authored-by: guigui64 <[email protected]>
Diffstat (limited to '.github/actions/github-release/main.js')
0 files changed, 0 insertions, 0 deletions