Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
One more warning to fix: writeRecoveryFile is unconditionally defined but used only if JL_DEBUG_BUILD is defined. The fix is obvious.
- Loading branch information