sortResource_v3.patch (with updated date in comment) by Ticker Berkin.
13 oct 2023
Polish format (*.mp) Don't crash with NullPointerException when a contour line has no label.
11 oct 2023
no_hp-overflow_v2.patch by Ticker Berkin (with modified javadoc and updated unit tests):.
08 oct 2023
adapt test values to reflect recent changes. RGN sizes decreesed a bit with the changes in r4909.
07 oct 2023
18 sep 2023