Hi Philipp, I have reformatted your merge request a little to our conventions. If you accept this merge request, it gets merged into your branch and can then be later merged by Martin into the master.
Hi Philipp, I have reformatted your merge request a little to our conventions. If you accept this merge request, it gets merged into your branch and can then be later merged by Martin into the master.