Closed guymahieu closed 1 month ago
fixes #177
Any idea why qodana is acting up again - should we just merge this?
yeah, I think we could just merge it and see what happens
fixes #177