This commit is contained in:
xdrm-brackets 2018-03-05 17:35:20 +01:00
parent 11bda22ffb
commit 3e611ba2f3
1 changed files with 9 additions and 8 deletions

View File

@ -142,6 +142,7 @@
"matches": { "des": "Matching professor UID(s)", "typ": "array<id>" }
}
}
}
},