renard pushed a change to branch ignore_empty_integration_points.
was d5cebf0 Use consistent type.The revisions that were on this branch are still contained in other references; therefore, this change does not discard any commits from the repository.
