Skip to content
Snippets Groups Projects
Commit 59c0830d authored by Wuttke, Joachim's avatar Wuttke, Joachim
Browse files

[jw2] improve report from GUI/Check () 

Merging branch 'jw2'  into 'r22'.

See merge request !1852
parents 01bdad14 07c21a5a
No related branches found
No related tags found
1 merge request!1852improve report from GUI/Check
Pipeline #108274 canceled
Stage: build