[mkgmap-dev] Commit r4701: fix possible empty rectangles : overSizePolyHole_v3.patch by Ticker Berkin