windows10x64,mosek (Sep 9, 2019, 3:24:37 PM)

1. whitespace changes to test on github (details / githubweb)
2. remove duplicate test (details / githubweb)
3. Function names shortened. (details / githubweb)
4. More renaming. (details / githubweb)
5. Dumb test for constructing linearization data. (details / githubweb)

Started by upstream project "robust_PullRequest" build number 16
originally caused by:

• GitHub pull request #41 of commit 4bb7d9320453c1b542076417d45cfb6a58c4cca7, no merge conflicts.