	Changes fix jho tests (details / githubweb) lint (details / githubweb)
	Started by upstream project CE_gpkit_PR_research_models build number 441 originally caused by: GitHub pull request #1502 of commit 25f1a71d80c7195cfcb339a4b8c05f382697c359, no merge conflicts.
	Revision: 2f95ecd7bbc99446d88a1539916dbccf2eb758c3 Repository: https://github.com/convexengineering/gpkit origin/pr/1502/merge origin/master
	0 errors, 0 warnings
	Test Result (no failures)