diff --git a/ReleaseNotes.md b/ReleaseNotes.md
index a06b752c62..2218145db1 100644
--- a/ReleaseNotes.md
+++ b/ReleaseNotes.md
@@ -1,6 +1,8 @@
 # Release notes of Ampersand
  
 ## Unreleased changes
+
+## v4.7.1 (1 September 2022)
 * make the devcontainer experience even smoother (see https://github.com/haskell/hie-bios/issues/352)
 * [Issue #1313](https://github.com/AmpersandTarski/Ampersand/issues/1313) Fixed a minor bug in the Archi analyser.
 * Improve the usability of the MetaModel.adl file, which is output of `ampersand data-analysis`.
diff --git a/ampersand.cabal b/ampersand.cabal
index 40254d1b13..d5fb6e64d4 100644
--- a/ampersand.cabal
+++ b/ampersand.cabal
@@ -5,7 +5,7 @@ cabal-version: 2.0
 -- see: https://github.com/sol/hpack
 
 name:           ampersand
-version:        4.7.0
+version:        4.7.1
 synopsis:       Toolsuite for automated design of enterprise information systems.
 description:    You can define your business processes by means of rules, written in Relation Algebra.
 category:       Database Design
diff --git a/package.yaml b/package.yaml
index d8ea9b9927..4bafcee394 100644
--- a/package.yaml
+++ b/package.yaml
@@ -1,5 +1,5 @@
 name: ampersand
-version: 4.7.0
+version: 4.7.1
 author: Stef Joosten
 maintainer: stef.joosten@ou.nl
 synopsis: Toolsuite for automated design of enterprise information systems.