diff --git a/Cargo.lock b/Cargo.lock
index 4225ac7..41bddc3 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1136,10 +1136,9 @@ dependencies = [
 
 [[package]]
 name = "routinator"
-version = "0.13.0-dev"
+version = "0.13.0"
 dependencies = [
  "arbitrary",
- "bcder",
  "bytes",
  "chrono",
  "clap",
@@ -1183,9 +1182,9 @@ dependencies = [
 
 [[package]]
 name = "rpki"
-version = "0.17.1"
+version = "0.17.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "a2e2cf92592175551ef134dba1b30f8d1526479e680399d3a1eef27136023373"
+checksum = "98a05b958a41ba8c923cf14bd2ad5f1aca3f3509c8ffd147c36e094346a0290b"
 dependencies = [
  "arbitrary",
  "base64",
diff --git a/Cargo.toml b/Cargo.toml
index 369689e..82346cd 100644
--- 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 = "routinator"
-version = "0.13.0-dev"
+version = "0.13.0"
 edition = "2021"
 rust-version = "1.70"
 authors = ["The NLnet Labs RPKI Team <rpki@nlnetlabs.nl>"]
@@ -14,9 +14,6 @@ readme = "README.md"
 exclude = [ ".github" ]
 
 [dependencies]
-# XXX Force bcder to be at least 0.7.3.
-bcder           = "0.7.3"
-
 arbitrary       = { version = "1", optional = true, features = ["derive"] }
 bytes           = "1.0.0"
 chrono          = "0.4.23"
@@ -33,7 +30,7 @@ pin-project-lite = "0.2.4"
 rand            = "0.8.1"
 reqwest         = { version = "0.11.0", default-features = false, features = ["blocking", "rustls-tls" ] }
 ring            = "0.16.12"
-rpki            = { version = "0.17.1", features = [ "repository", "rrdp", "rtr", "serde", "slurm" ] }
+rpki            = { version = "0.17.2", features = [ "repository", "rrdp", "rtr", "serde", "slurm" ] }
 rustls-pemfile  = "1"
 serde           = { version = "1.0.95", features = [ "derive" ] }
 serde_json      = "1.0.57"
diff --git a/Changelog.md b/Changelog.md
index 706cf96..bca6294 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,10 +1,10 @@
 # Change Log
 
-## Unreleased next version
+## 0.13.0 ‘Should Have Started This in a Screen’
 
-Bug Fixes
+Released 2023-09-21
 
-Other Changes
+There have been no changes since 0.13.0-rc2.
 
 
 ## 0.13.0-rc2
diff --git a/doc/routinator.1 b/doc/routinator.1
index 16783bf..51ea7a3 100644
--- a/doc/routinator.1
+++ b/doc/routinator.1
@@ -27,7 +27,7 @@ level margin: \\n[rst2man-indent\\n[rst2man-indent-level]]
 .\" new: \\n[rst2man-indent\\n[rst2man-indent-level]]
 .in \\n[rst2man-indent\\n[rst2man-indent-level]]u
 ..
-.TH "ROUTINATOR" "1" "Sep 13, 2023" "0.13.0-dev" "Routinator"
+.TH "ROUTINATOR" "1" "Sep 21, 2023" "0.13.0" "Routinator"
 .SH NAME
 routinator \- RPKI relying party software
 .SH SYNOPSIS