#2394 (Feb 16, 2022, 5:33:35 PM)

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

	Changes better sweep printing, clean sgp cost, lint (commit: 1d39b41) (details / githubweb) fixes (commit: 9df830a) (details / githubweb) fix (commit: 451d1dd) (details / githubweb) fix (commit: ff91f93) (details / githubweb) add hiddenlineage tag (commit: 5d37251) (details / githubweb)
	GitHub pull request #1567 of commit 5d372510e1174cecb024274175685f0a99622747, no merge conflicts.
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: c35ea31
	Test Result (no failures)