From: John Darrington <john@darrington.wattle.id.au>
Date: Thu, 17 Dec 2015 06:16:58 +0000 (+0100)
Subject: Remove string stat_version
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=03de35c0fe7c134458408dcb32c23bba8b1bb078;hp=03de35c0fe7c134458408dcb32c23bba8b1bb078;p=pspp

Remove string stat_version

This string contained a timestamp indicating when ./configure had
been run.  This makes for reproducibility issues and possibly
privacy issues too.
---