On Thu, Oct 23, 2014 at 6:22 AM, Rafael EspĂndola <rafael.espindola at gmail.com> wrote: > > To be clear, maybe we should just delete DisableRedZone and update the > tests that use it to have the attribute? > Users need a way to disable red zone globally, so a command line option is sensible.