# Version number and release date.
VERSION_NUMBER=1.4.2
RELEASE_DATE=2026-02-23      # in "date +%Y-%m-%d" format

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