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

Sorry for the noise thus far.

Reply via email to