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

[corrs] minor corrections ()

Merging branch 'corrs'  into 'main'.

See merge request !1895
parents 631563c4 dd068842
No related branches found
No related tags found
1 merge request!1895minor corrections
Pipeline #109658 passed