windows7x64,mosek (Jun 20, 2019, 1:15:35 AM)

	No changes.
	Started by upstream project "gplibrary_Push_Models" build number 175 originally caused by: Started by upstream project "gpkit_Push" build number 643 originally caused by: Started by GitHub push by bqpd Started by GitHub push by bqpd
	0 errors, 0 warnings
	Test Result (no failures)