Update version to 0.7.2

Tim Bruijnzeels · Tim Bruijnzeels · commit 3e517c0fa834 · 2020-06-28T22:57:50.000+02:00
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 # Note: some of these values are also used when building Debian packages below.
 name    = "krill"
-version = "0.8.0-dev"
+version = "0.7.2"
 edition = "2018"
 authors = [ "The NLnet Labs RPKI team <rpki-team@nlnetlabs.nl>" ]
 description = "Resource Public Key Infrastructure (RPKI) daemon"
diff --git a/doc/openapi.yaml b/doc/openapi.yaml
@@ -1,7 +1,7 @@
 openapi: "3.0.2"
 info:
   title: Krill RPKI Server API
-  version: 0.8.0-dev
+  version: 0.7.2
   description: |
     # Introduction
     Welcome to the documentation for the Krill server API, a JSON based
diff --git a/src/constants.rs b/src/constants.rs
@@ -1,4 +1,4 @@
-pub const KRILL_VERSION: &str = "0.8.0-dev";
+pub const KRILL_VERSION: &str = "0.7.2";
 pub const KRILL_SERVER_APP: &str = "Krill";
 pub const KRILL_CLIENT_APP: &str = "Krill Client";
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-pub const KRILL_VERSION: &str = "0.8.0-dev";`
	`1`	`+pub const KRILL_VERSION: &str = "0.7.2";`
`2`	`2`	`pub const KRILL_SERVER_APP: &str = "Krill";`
`3`	`3`	`pub const KRILL_CLIENT_APP: &str = "Krill Client";`
`4`	`4`