updated the release notes

hneemann · hneemann · commit 932791eb6486 · 2023-02-03T08:00:56.000+01:00
diff --git a/distribution/ReleaseNotes.txt b/distribution/ReleaseNotes.txt
@@ -1,6 +1,6 @@
 Release Notes
 
-HEAD, planned as v0.30
+v0.30, released on 3. February 2023
 - Added a search function
 - Added a presentation mode.
 - Adds Q and CTRL-Q hotkeys to copy the component the mouse
