Jinwoo Lee <jinwoo68 at gmail.com> writes: > Yup. It works! Thanks for the quick fix. Is this going to be merged > to HEAD soon? > Probably in the next day or so, unless somebody complains. d