Mike (mwester) wrote: > Er, I didn't see a commit with this fix yet; Yeah, sorry. I hadn't forgotten it, but I've been traveling at the beginning of the week, and today was the first day when I actually had some time to review and merge patches. - Werner