On 2012/09/27 11:16, Brad Smith wrote: > ping. This patch was brought up on the development IRC channel last night. I didn't see any further discussion about it, though. Generally it seemed to be fine. Jan E