diff options
| author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2023-02-21 16:14:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-21 16:14:51 +0100 |
| commit | 8418d22ac164973b84971ad3d098b0ba6f98ec47 (patch) | |
| tree | e7c3767e3d542177cd6db3df3c1d5c67fe29806b /.github | |
| parent | c7885ab6f27e359324d345b5bc9c1a655ffdaec2 (diff) | |
| parent | 5b0175e81d3fedb27c304f7847cb1bbd11d481c4 (diff) | |
Merge pull request #7874 from obsidiansystems/fix-no-gc-build
Fix the build without GC
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions