Hi, The default branch in github is branch-7-0. Shouldn't that be master instead ? Otherwise people that fork and hack are likely to use branch-7-0 instead of master when submitting pull requests. Even -- Spatialys - Geospatial professional services http://www.spatialys.com