bump to version 5.1.3

AmpersandTarski · Aug 12, 2024 · c2a51a7 · c2a51a7
1 parent d0b2c77
commit c2a51a7
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git 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
@@ -1,5 +1,5 @@
 name: ampersand
-version: 5.1.2
+version: 5.1.3
 author: Stef Joosten
 maintainer: [email protected]
 synopsis: Toolsuite for automated design of enterprise information systems.