Update release numbers for target release 0.4.2 (#165)

This commit is contained in:
Tim Bruijnzeels
2019-12-18 16:25:09 +01:00
parent 03ae5dab99
commit 6be1f000e2
2 changed files with 2 additions and 6 deletions
+1 -5
View File
@@ -1,6 +1,6 @@
[package]
name = "krill"
version = "0.4.2-pre"
version = "0.4.2"
authors = [ "The NLnet Labs RPKI team <rpki-team@nlnetlabs.nl>" ]
description = "Resource Public Key Infrastructure (RPKI) daemon"
license = "MPL-2.0"
@@ -42,7 +42,3 @@ ignore = "^0.4"
[features]
default = []
extra-debug = [ "rpki/extra-debug" ]
# Used when depending on development branches of rpki-rs or bcder
#[patch.crates-io]
#rpki = { git = "https://github.com/NLnetLabs/rpki-rs.git", branch = "resource-set-fix" }
+1 -1
View File
@@ -1,4 +1,4 @@
pub const KRILL_VERSION: &str = "0.4.1";
pub const KRILL_VERSION: &str = "0.4.2";
pub const KRILL_SERVER_APP: &str = "Krill";
pub const KRILL_CLIENT_APP: &str = "Krill Client";