Fixes out of review (!1) · Merge requests · Kurt Kremitzki / opencascade · GitLab

The source project of this merge request has been removed.

Tobias Frost requested to merge (removed):fixes_out_of_review into master Mar 30, 2018

Small fixes out of review.