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

	Changes move debug info to default warnings + smaller refactors (#1528) (details / githubweb)
	Started by upstream project CE_gpkit_Push_unit_tests build number 752 originally caused by: Started by GitHub push by bqpd Started by GitHub push by bqpd
	Revision: 648df4619c7490febbbc5ea2dc9aa4c3dcd76f1e Repository: https://github.com/convexengineering/gpkit origin/master
	0 errors, 0 warnings