Skip to content
Snippets Groups Projects

this is purely syntactic

Canceled
Ralf Jung created pipeline for commit 8649f55e
, finished
Related merge request !311 to merge ralf/get_head