#404 (Sep 9, 2019, 2:03:25 PM)

PR 1434: fixes for windows

	Changes fixes for windows (details / githubweb)
	Started by upstream project "gpkit_PullRequest_Models" build number 404 originally caused by: GitHub pull request #1434 of commit bd1f124de513354ed2f25297008e4dc3c7990647, no merge conflicts.
	0 errors, 0 warnings
	Test Result (no failures)