Size of red zone on ppc in a recent commit to the master #2
Description
@iains Is this correct? From documentation is seems that it should be 224, not 220.
{{ message }}
@iains Is this correct? From documentation is seems that it should be 224, not 220.