Merge "rangelib.py: Fix the bug in monotonic check."