Closed lukastaegert closed 5 years ago
Resolves #303
This switches to using the new shared helper for extracting names from patterns and should fix the last remaining pattern-related issue. For the future, there is now a central place for fixing these kinds of issues.
Resolves #303
This switches to using the new shared helper for extracting names from patterns and should fix the last remaining pattern-related issue. For the future, there is now a central place for fixing these kinds of issues.