On a closer look, this patch in -9 was actually a no-op, and it again is sheer luck. It rather seems that the difference seems to come from building with and without optimization, I'll investigate further.
On a closer look, this patch in -9 was actually a no-op, and it again is sheer luck. It rather seems that the difference seems to come from building with and without optimization, I'll investigate further.