Seo Sanghyeon wrote: > Can someone have a look at #860326? I got bitten by it today, and I can > see no reason not to apply suggested patch. I've reviewed it and checked it in. Cheers, Georg