1;;; This file is auto-generated using generate-version.sh. Every time 2;;; you re-run make.sh, this file will be overwritten if you are 3;;; working from a Git checkout. 4"1.3.13" 5