# Version number and release date.
VERSION_NUMBER=1.2
RELEASE_DATE=2024-02-24      # in "date +%Y-%m-%d" format

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