David Bremner <david at tethera.net> writes: > 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. This bug should be fixed in commit cc3d25d d