This is a merge with f0ba239, currently the tip of upstream master; I'm not sure if we want to merge our fork with master all the way, but this is at least useful as a reference.
At a minimum, we should merge https://github.com/dartsim/dart/pull/1407, which would be easy as a cherry-pick, but there are also some PR's missing that provide better windows support.
This is a merge with f0ba239, currently the tip of upstream master; I'm not sure if we want to merge our fork with
masterall the way, but this is at least useful as a reference.At a minimum, we should merge https://github.com/dartsim/dart/pull/1407, which would be easy as a cherry-pick, but there are also some PR's missing that provide better windows support.