update area labels (#236207)

pull/236209/head
Johannes Rieken 2024-12-16 11:38:23 +01:00 committed by GitHub
parent 864d5d8aff
commit 27a8a26b36
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

File diff suppressed because one or more lines are too long