# Version number and release date.
VERSION_NUMBER=1.3
RELEASE_DATE=2024-10-16      # in "date +%Y-%m-%d" format

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