Skip to content
Snippets Groups Projects

Merge branch '85-add-option-to-configure-extra-marks-for-personal-notes' into 'master'

Passed
Nik | Klampfradler created pipeline for commit 8fa024da
, finished
For master
3 jobs 2 minutes 22 seconds, queued for 3 seconds