Merge pull request #28339 from edef1c/solvespace-2.3-20170808
solvespace: 2.3-20170416 -> 2.3-20170808
authored by Joachim F and committed by GitHub 8 years ago 417c1ed4 0e374637