Merge branch 'doc/improve-patch-instructions' into 'master'
[solutionchecker] Make pipeline error message for wrong patches more explicit. See merge request !231
No related branches found
No related tags found
Please register or sign in to comment