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

	Changes remove sensdiff by default, simplify constraintdiff (#1517) (commit: 19ccfe4) (details / githubweb)
	Started by GitHub push by bqpd (2 times)
	Revision: 19ccfe4d9b0ea8187c7b604433993209c69383fa Repository: https://github.com/convexengineering/gpkit refs/remotes/origin/master