Fix #357

Merged
dholle merged 1 commits from sealedInterfacesFix into patternMatching 2025-02-12 14:19:59 +00:00

1 Commits

Author SHA1 Message Date
julian
1e37538fde Fix 2025-01-26 16:18:38 +01:00