Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Warn if inflation_radius_ < inscribed_radius_ (#4423)
* Warn if inflation_radius_ < inscribed_radius_ Signed-off-by: Tony Najjar <[email protected]> * convert to error Signed-off-by: Tony Najjar <[email protected]> --------- Signed-off-by: Tony Najjar <[email protected]>
- Loading branch information