diff --git a/ReleaseNotes.md b/ReleaseNotes.md
index 9bf929fa7..9a3bfdc01 100644
--- a/ReleaseNotes.md
+++ b/ReleaseNotes.md
@@ -2,12 +2,16 @@
 
 ## Unreleased
 
-## v5.1.2 (11 august 2024)
+
+
+## v5.1.3 (12 august 2024) 
 - [Issue #1381](https://github.com/AmpersandTarski/Ampersand/issues/1381) Bugfixes for support for new Angular frontend
 - Drop support for old AngularJS frontend
 - Support for Windows has been re-enabled
 - [Issue #1307](https://github.com/AmpersandTarski/Ampersand/issues/1307) Bugfixes for namespace phase 1
 
+## v5.1.2 (Release failed due to technical issue with macOS)
+
 ## v5.1.1 (16 may 2024)
 - Some enhancements for the .devcontainer
 
diff --git a/package.yaml b/package.yaml
index 5445dca04..fc6ec5cd5 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name: ampersand
-version: 5.1.2
+version: 5.1.3
 author: Stef Joosten
 maintainer: stef.joosten@ou.nl
 synopsis: Toolsuite for automated design of enterprise information systems.