On 24 February 2015 at 19:59, Filip Pizlo <fpizlo at apple.com> wrote: > Good idea. I'll incorporate it into my patch. I am OK with it, but with the same reservations as Chandler: Note that it is deprecated and will be removed. Cheers, Rafael