#453 (Aug 13, 2020, 2:52:51 AM)

	Changes remove sensdiff by default, simplify constraintdiff (#1517) (details / githubweb)
	Started by upstream project CE_gpkit_Push_dependency_tests build number 453 originally caused by: Started by GitHub push by bqpd Started by GitHub push by bqpd
	Revision: 19ccfe4d9b0ea8187c7b604433993209c69383fa Repository: https://github.com/convexengineering/gpkit refs/remotes/origin/master
	0 errors, 0 warnings
	Test Result (no failures)