# Version number and release date.
VERSION_NUMBER=0.21
RELEASE_DATE=2020-07-26      # in "date +%Y-%m-%d" format