# Version number and release date.
VERSION_NUMBER=0.9.7
RELEASE_DATE=2016-12-02      # in "date +%Y-%m-%d" format

# Version of gnulib that was used in this release.
GNULIB_GIT_COMMIT=31a08abd323ebffea3d4fb2d5a66f801fe8b3031