Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
There's a comment saying we don't do it for performance reasons, but it doesn't actually affect performance. The commit also tweaks the control flow, to make clearer that two code paths are mutually exclusive.
- Loading branch information