------------------------------------------------------------------- Fri Mar 17 02:35:43 UTC 2017 - Peter Simons - Add gitrev at version 1.3.1.