components/gnump/patches/010-osmpf.cc.patch
changeset 1951 da0722ff8ee6
parent 219 22d9e175d379