On 30 January 2014 17:01, Nikola Smiljanic <popizdeh at gmail.com> wrote: > Rafael, does that mean that the bug I referenced should be closed? > I *think* it was fixed by r192091, but I have not checked that. Cheers, Rafael