Closes #85 (closed)
Pipeline #3191 passed
Pipeline passed for 0bc8ec73 on 85-add-option-to-configure-extra-marks-for-personal-notes 4 years ago
Pipeline #3193 passed
Pipeline passed for 8fa024da on master 4 years ago