tobie/specref — pull request #124 by tobie (2014-09-10 21:28:52+00:00)
Title: Fix auto-update script to exit without an error when there is no change ...

...to commit.