	Changes small changes and move debugging info to default solution warnings (details / githubweb) lint (details / githubweb)
	Started by upstream project CE_gpkit_PR_research_models build number 461 originally caused by: GitHub pull request #1528 of commit 1368695fed90d40f7d2510228dee8d48983a15ca, no merge conflicts.
	Revision: 0f50cc9b132eea95fc08b8bbfe1324388f661b5b Repository: https://github.com/convexengineering/gpkit origin/pr/1528/merge origin/master
	0 errors, 0 warnings
	Test Result (no failures)