# Version number and release date.
VERSION_NUMBER=0.9.8
RELEASE_DATE=2017-11-30      # in "date +%Y-%m-%d" format

# Version of gnulib that was used in this release.
GNULIB_GIT_COMMIT=82edd0e68b9e88fb24c1d32ad815083f66fae1ef