"Schanzenbach, Martin" <[email protected]> writes:

> Can be merged from my point of view.

Hello,

I merged the branch with master and pushed it.
Hopefully nothing wrong happened.

Thanks,
A.V.

Reply via email to