u2w-merge #192

Merged
savau merged 344 commits from u2w-merge into master 2022-09-02 18:00:29 +02:00
Showing only changes of commit a96ecb94bc - Show all commits

View File

@ -3,7 +3,7 @@ ExamOfficeLabel
name ExamOfficeLabelName
status MessageStatus
priority Int -- determines label ordering
UniqueExamOfficeLabel user name
UniqueExamOfficeLabel user name status
deriving Generic
ExamOfficeExamLabel