release notes update

Wisser · Jul 24, 2023 · 461c966 · 461c966
1 parent e72b92d
commit 461c966
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/releasenotes.txt b/releasenotes.txt
@@ -1,6 +1,9 @@
-15.1.2
+15.1.3
   - Selection of a single row in the data browser was made possible.
 
+15.1.2
+  - (has never been published because of technical problems with uploading)
+
 15.1.1
   - The dynamic search of the data browser now supports columns of type "UUID".