diff options
| author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2022-12-13 10:36:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-13 10:36:59 +0100 |
| commit | 6e31d27cba459a0aca697d118b5423ec48ad3969 (patch) | |
| tree | 00705001572c75c60d49ff18f3870189ba80f7da /.github | |
| parent | edb54c62e6c66f3d26642c024d92bd20b30abf85 (diff) | |
| parent | 672ee882318f3ae97de068a44e4c09bdf82d04ef (diff) | |
Merge pull request #6741 from Mindavi/nix-no-gc
support building with --enable-gc=no
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions