Hi, thanks for your patch, I've applied it as r30579.
Hongwen Qiu wrote: > I wonder if the patches for test files should go here. No, you should commit them directly to the pugs repository. Please tell me your desired nickname, and I'll set up commit permissions for you. Cheers, Moritz
