diff --git a/assets/releasenotes.txt b/assets/releasenotes.txt index 73224da..e91f285 100644 --- a/assets/releasenotes.txt +++ b/assets/releasenotes.txt @@ -1,3 +1 @@ -Verifpal 0.27.1 introduces nothing new: it's simply an update to move Verifpal's package management URLs to the new GitHub repository. - -That's right: Verifpal is moving to https://github.com/symbolicsoft/verifpal. Please update your links! +Verifpal 0.27.2 fixes build issues with the previous version. There is no need to update from 0.27.0 or 0.27.1 if Verifpal builds correctly for you. diff --git a/assets/version.txt b/assets/version.txt index 83b4730..3edc695 100644 --- a/assets/version.txt +++ b/assets/version.txt @@ -1 +1 @@ -0.27.1 +0.27.2 diff --git a/cmd/verifpal/main.go b/cmd/verifpal/main.go index 931f0b6..a29a220 100644 --- a/cmd/verifpal/main.go +++ b/cmd/verifpal/main.go @@ -20,7 +20,7 @@ import ( "verifpal.com/cmd/vplogic" ) -const version = "0.27.1" +const version = "0.27.2" var rootCmd = &cobra.Command{ Use: "verifpal",