I posted this patch on the wmii issue tracker:
http://code.google.com/p/wmii/issues/detail?id=232

Sorry for the noise thus far.

Reply via email to