windows7x64,mosek (Sep 24, 2019, 4:28:36 PM)

PR 47: Getting build statuses and testing on master.

	Changes Getting build statuses? (details / githubweb)
	Started by upstream project "robust_PullRequest" build number 39 originally caused by: GitHub pull request #47 of commit 399b584f90d94f002c683e857691bb02aa8d4e8e, no merge conflicts.
	0 errors, 0 warnings
	Test Result (no failures)