version: Fix version number for 0.13.0-dev

This commit is contained in:
Martin Atkins 2020-07-01 11:56:24 -07:00 committed by GitHub
parent e2d73e78ad
commit fa6ab0c2d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -11,7 +11,7 @@ import (
)
// The main version number that is being run at the moment.
var Version = "0.13.0-rc1"
var Version = "0.13.0"
// A pre-release marker for the version. If this is "" (empty string)
// then it means that it is a final release. Otherwise, this is a pre-release