Skip to content

Conversation

@mattesmohr
Copy link
Member

@mattesmohr mattesmohr commented Nov 13, 2024

The Area element should have been an empty node from the start. This pull request corrects that.

@mattesmohr mattesmohr marked this pull request as ready for review November 29, 2024 13:00
@mattesmohr mattesmohr merged commit b83d930 into main Nov 29, 2024
1 check passed
@mattesmohr mattesmohr deleted the fix-area-element branch November 29, 2024 13:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant