Commit 2026-01-30 15:11 24d904ee
View on Github →chore: rename isLE_of_LE, isGE_of_GE (#34612) Per rule 6 of the naming convention, they should be called isLE_of_le resp. isGE_of_ge. Found by the linter in #34440.
chore: rename isLE_of_LE, isGE_of_GE (#34612) Per rule 6 of the naming convention, they should be called isLE_of_le resp. isGE_of_ge. Found by the linter in #34440.