Work around a broken shared detection on some platforms#300
Merged
den-run-ai merged 6 commits intomasterfrom Dec 7, 2016
Commits
Commits on Dec 4, 2016
- authored
denfromufa
Commits on Dec 7, 2016
- authoreddenfromufa
- authoreddenfromufa
- authoreddenfromufa
- authoreddenfromufa
- authored