Guillaume Munch wrote:

> The attached patches take these comments into account. OK to push?

Yes.


Georg

Reply via email to