# Version number and release date.
VERSION_NUMBER=0.22.4
RELEASE_DATE=2023-11-19      # in "date +%Y-%m-%d" format