On 3/10/17, Michael Bradshaw <mjbshaw at gmail.com> wrote: > On Thu, Mar 9, 2017 at 8:09 PM, Aaron Boxer <boxerab at gmail.com> wrote: >> >> Thanks, Michael. Here are those changes. > > > Applied. Thanks for the patch! AFAIK some of those could make use of BOOL.