Git/gpstools: New commit (f5b60e2)

08e1b7de-ebe6-11e2-b507-001f3b596ec9