"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.
"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.