Merge branch 'master' into 85-add-option-to-configure-extra-marks-for-personal-notes
1 related merge request: !68 Resolve "Add option to configure extra marks for personal notes"
3 jobs
8 minutes 2 seconds, queued for 2 seconds