#451 (Aug 7, 2020, 10:28:56 PM)

	Changes clarify constraint differencing (#1511) (details / githubweb)
	Started by upstream project CE_gpkit_Push_dependency_tests build number 451 originally caused by: Started by GitHub push by bqpd Started by GitHub push by bqpd
	Revision: d7e04ea1d1c48595cca59f9ef0bb0630d52dcce3 Repository: https://github.com/convexengineering/gpkit refs/remotes/origin/master
	0 errors, 0 warnings
	Test Result (no failures)