Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix suggested by PR 42313. Removes useless check.
- Loading branch information
Fix suggested by PR 42313. Removes useless check.