[mkgmap-dev] Commit: r3132: refactoring handling of mkgmap:skipSizeFilter, no functional change