-
Benjamin Otte authored
This is no longer necessary because the bug it was rying to solve is now solved via the preference for min and nat size.
cb5b375f
This is no longer necessary because the bug it was rying to solve is now solved via the preference for min and nat size.