Merge pull request #328 from privacybydesign/version-bump-v0.13.0

Version bump for v0.13.0

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

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"