# Version number and release date.
VERSION_NUMBER=0.12-pre1
RELEASE_DATE=2003-02-18      # in "date +%Y-%m-%d" format