On Tue, Jul 24, 2012 at 08:37:02PM +0200, Rainer Jung wrote:
> So: Your change seems good to me.

Thanks very much for checking it out!  r1365479.

Reply via email to