Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Allocate space for the file before we write it
Not sure if this is a good idea in the end or not, it harms debugging but creates cleaner files, which on SSDs probably does not matter but on spinning disks it can. But we use SSDs, so I am totally guilty of optimizing prematurely here.
- Loading branch information