Skip to content
Snippets Groups Projects

Tweak comments.

Failed
Robbert Krebbers created pipeline for commit d63c639a
, finished
For master
branch
2 jobs