#459 (Nov 18, 2020, 3:58:12 PM)

	Changes move debug info to default warnings + smaller refactors (#1528) (commit: 648df46) (details / githubweb)
	Started by GitHub push by bqpd (2 times)
	Revision: 648df4619c7490febbbc5ea2dc9aa4c3dcd76f1e Repository: https://github.com/convexengineering/gpkit refs/remotes/origin/master