Port update of GaussGeo from master (its use off by default)
Update GaussGeo to report & skip invalid geo objects
Port 'update_gaussgeo_to_report_invalid_elements' from 'master'
See merge request !143 (merged)
Update GaussGeo to report & skip invalid geo objects
Port 'update_gaussgeo_to_report_invalid_elements' from 'master'
See merge request !143 (merged)