diff --git a/CHANGELOG.md b/CHANGELOG.md
index 746005aa..de34d9e7 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -6,6 +6,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## Unreleased
 
+## [0.13.0] - 2023-08-10
 ### Added
 - E-mail address revalidation, addressing issues where user's e-mail addresses can be (temporary) invalid
 - Publish the Docker image of the `irma` CLI tool on ghcr.io/privacybydesign/irma
@@ -393,6 +394,7 @@ This release contains several large new features. In particular, the shoulder su
 - Combined issuance-disclosure requests with two schemes one of which has a keyshare server now work as expected
 - Various other bugfixes
 
+[0.13.0]: https://github.com/privacybydesign/irmago/compare/v0.12.6...v0.13.0
 [0.12.6]: https://github.com/privacybydesign/irmago/compare/v0.12.5...v0.12.6
 [0.12.5]: https://github.com/privacybydesign/irmago/compare/v0.12.4...v0.12.5
 [0.12.4]: https://github.com/privacybydesign/irmago/compare/v0.12.3...v0.12.4
diff --git a/version.go b/version.go
index fc1874da..79058a00 100644
--- a/version.go
+++ b/version.go
@@ -5,4 +5,4 @@
 package irma
 
 // Version of the IRMA command line and libraries
-const Version = "0.12.6"
+const Version = "0.13.0"