# Version number and release date.
VERSION_NUMBER=0.9.6
RELEASE_DATE=2015-06-25      # in "date +%Y-%m-%d" format

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