Date: Mon, 8 Dec 2008 08:40:27 +0100 (CET), Andreas Tille wrote: > Many thanks for the patch. I hope to be able to apply it in the > beginning of next week (this week will be quite busy). Ping? from: bug triaging squad