rgheck wrote:
> The old one is in.

Thanks.

> OK to put the new one in as soon as branch is open
> again?

Yes.

Jürgen

Reply via email to