On Mar 12, 2012, at 12:29 PM, William J. Schmidt wrote:
> Thanks, Rainer.  Here's a revised patch.  OK to commit?

Ok.  Thanks.

Reply via email to