Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
This reverts commit 994a17e. This sped up compilation on nix, but rather embarrassingly broke it at the same time. The shame.
- Loading branch information