af2dd0c798
The PR was accidentally merged into master instead of staging and thus reverted. Now, in staging, we can re-revert it. This reverts commit 4df2f78ec72f6a8d2fe286cd34eb3acdfcac81f3. |
||
---|---|---|
.. | ||
default.nix | ||
mcfgthreads-no-pthread.patch | ||
playtests-darwin.patch |