components/gnump/patches/010-osmpf.cc.patch
changeset 658 714803fd87a0
parent 219 22d9e175d379