windows10x64,mosek (Jun 20, 2019, 12:14:41 PM)

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