hole_size# property DeadRegion.hole_size: float# Maximum hole size used for patching. This is a beta parameter. The behavior and name may change in the future.
