Skip to content

[Backport 8.17] Fix serialization of Names#8487

Merged
flobernd merged 1 commit into8.17from
backport-8486-to-8.17
Apr 8, 2025
Merged

[Backport 8.17] Fix serialization of `Names`#8487
flobernd merged 1 commit into8.17from
backport-8486-to-8.17

Commits

Commits on Apr 8, 2025