Resolve "Diagnose widget issue on lid31dat1"
Closes #10 (closed)
Closes #10 (closed)
Merge details
Closed #10 (closed)
assigned to @denolf
marked this merge request as ready
enabled an automatic merge when the pipeline for 431135d7 succeeds
merged
mentioned in commit 9929dbd8