rm: improve the code a tiny bit #5755
Merged
Codecov / codecov/project
succeeded
Dec 31, 2023 in 0s
84.27% (-0.01%) compared to 5fc01f7
View this Pull Request on Codecov
84.27% (-0.01%) compared to 5fc01f7
Loading
View this Pull Request on Codecov
84.27% (-0.01%) compared to 5fc01f7