Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Slightly speed up booting when there are symbols to load.
Also avoid an obscure hang I managed to trigger..
- Loading branch information