On 10/22/2014 03:05 PM, Rafael EspĂndola wrote: > LGTM On 10/22/2014 03:08 PM, Ted Kremenek wrote: > I'm fine with dropping it. It is easy enough to add back. Great! I don't have svn access, so would one of you please commit? Thanks, -Brad