Git/gpstools/: New commit (08782a5b9)

This can be irritating in the long run.

2a51ec4c-f55d-11e2-b781-001f3b596ec9