The flag seems to be unused, and if the alternative is an unsafe arena, we should always use the safe one anyway :)
Assignee: general → gal
Attachment #392316 - Flags: review?(brendan)
Attachment #392316 - Flags: review?(brendan) → review+
Status: NEW → RESOLVED
Closed: 10 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.