From 9af62ad117fd564df1da25831feafd345a8d22ae Mon Sep 17 00:00:00 2001
From: Matthias <xmatthias@outlook.com>
Date: Sat, 26 Nov 2022 14:09:05 +0100
Subject: [PATCH] Add note to dev docs about freqUI release

---
 docs/developer.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/docs/developer.md b/docs/developer.md
index f88754c50..b4961ac77 100644
--- a/docs/developer.md
+++ b/docs/developer.md
@@ -434,6 +434,11 @@ To keep the release-log short, best wrap the full git changelog into a collapsib
 </details>
 ```
 
+### FreqUI release
+
+If FreqUI has been updated substantially, make sure to create a release before merging the release branch.
+Make sure that freqUI CI on the release is finished and passed before merging the release.
+
 ### Create github release / tag
 
 Once the PR against stable is merged (best right after merging):