Skip to content
Snippets Groups Projects

Revert "Switch to CMU Serif"

Failed
Hans-Jörg created pipeline for commit 4b9c3171
, finished
1 related merge request: !3 Fix CI error
1 job 9 seconds, queued for 1 seconds