# Version number and release date.
VERSION_NUMBER=0.9.4
RELEASE_DATE=2014-08-12      # in "date +%Y-%m-%d" format

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