#2302 (Nov 18, 2020, 3:34:16 PM)

PR 1528: small changes

	Changes small changes and move debugging info to default solution warnings (details / githubweb) lint (details / githubweb) fix (details / githubweb) lint (details / githubweb) TODOs and determinism (details / githubweb)
	Started by upstream project CE_gpkit_PR_dependencies build number 2302 originally caused by: GitHub pull request #1528 of commit 2dfb4e6d8a50f2de17fd3081fdc234781055902d, no merge conflicts.
	Revision: f8c4f6eac288ec1802c9f641a273bf64d4d19ab2 Repository: https://github.com/convexengineering/gpkit origin/pr/1528/merge origin/master
	0 errors, 0 warnings