> Is this ok for trunk now?

Yes.

Reply via email to