diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2021-09-14 13:56:36 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2021-09-14 13:56:36 +0200 |
| commit | 01a4fa3b6e9e3a9a29d505241492e7d4ac3372f9 (patch) | |
| tree | 5917017eef231f63cc29edf83168b0a70957308c /.github | |
| parent | e664270c2b8fd79ddfe0ab8c7f15a730728ed623 (diff) | |
Advise using --extra-experimental-features instead of --experimental-features
Fixes #3737.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions