Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
the else condition is a duplication of the one before and was so never executed. Signed-off-by: Georg Flick <[email protected]> (cherry picked from commit 447c8ce) Co-authored-by: Georg Flick <[email protected]>
- Loading branch information