# Version number and release date.
VERSION_NUMBER=0.9.5
RELEASE_DATE=2015-01-15      # in "date +%Y-%m-%d" format

# Version of gnulib that was used in this release.
GNULIB_GIT_COMMIT=64d42befcd9d18c4f908adcf6df77bbf1985e061
