Skip to content
Snippets Groups Projects

Update smglom.md

Passed
Michael Kohlhase created pipeline for commit 777a4a7f
, finished
For master
branch
1 job 2 minutes 17 seconds, queued for 1 seconds