fixing errors after patch merge
Description
Description
Details
Details
- Provenance
Magnus Authored on Dec 11 2017, 12:36 PM - Parents
- R2010:d8cd69786ee8: Merge branch 'master' of https://github.com/lucaswerkmeister/quickstatements
- Branches
- Unknown
- Tags
- ChangeId
- None