> Has been running for the last few hours without any issue.
> OK claudio@ on that diff.

But it's your diff! I only polished it a bit.

Reply via email to