basename: handle a corner case with /. - Closes #8373#8374
Merged
Codecov / codecov/changes
succeeded
Jul 23, 2025 in 1s
No indirect coverage changes found
View this Pull Request on Codecov
No indirect coverage changes found
Loading