#2391 (Feb 16, 2022, 3:28:38 PM)

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

	Changes better sweep printing, clean sgp cost, lint (commit: 1d39b41) (details / githubweb) fixes (commit: 9df830a) (details / githubweb)
	GitHub pull request #1567 of commit 9df830a767b1e139e023bc2e63dc189f8b6ccedb, no merge conflicts.
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: 7dedb84
	Test Result (no failures)
	Aborted by user eburn