Thanks!
On Sun, Jul 29, 2012 at 1:28 PM, Blake McBride <blake@mcbride.name> wrote: Has this been bug ticket number?It wasn't. Just filed it as 224 and fixed it in r14019.Thanks for the reports and tests! Bye,Erik.
Has this been bug ticket number?