Merge branch 'master' into gui-candidate-justification

This commit is contained in:
Bastian Köcher
2019-11-06 09:16:38 +01:00
22 changed files with 3190 additions and 536 deletions
+1700 -398
View File
File diff suppressed because it is too large Load Diff