# Version number and release date.
VERSION_NUMBER=0.9.10
RELEASE_DATE=2018-05-17      # in "date +%Y-%m-%d" format

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