Closed lukaspie closed 6 months ago
Can we still merge this PR before the workshop?
Let's just merge this now. I think it will be fine with @rettigl and we can discuss this at the workshop anyways.
Can we still merge this PR before the workshop?