#2390 (Feb 12, 2022, 1:45:23 AM)

PR #1567: better sweep printing, clea...

	Changes better sweep printing, clean sgp cost, lint (commit: 1d39b41) (details / githubweb)
	GitHub pull request #1567 of commit 1d39b41888648b7241714ae51d717e83e48ee516, no merge conflicts.
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: e9c3db5
	Test Result (no failures)