# Version number and release date.
VERSION_NUMBER=0.9.3
RELEASE_DATE=2010-05-02      # in "date +%Y-%m-%d" format

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