HomePhabricator

fixing errors after patch merge
68f47bdc1a56Unpublished

Tags
None
Referenced Files
None
Subscribers
None

Unpublished Commit · Learn More

Publishing Disabled: All publishing is disabled for this repository.

Description

fixing errors after patch merge

Details

Provenance
MagnusAuthored on Dec 11 2017, 12:36 PM
Parents
R2010:d8cd69786ee8: Merge branch 'master' of https://github.com/lucaswerkmeister/quickstatements
Branches
Unknown
Tags
Unknown
ChangeId
None