Skip to content

Fixed bug I introduced when fixing hierarchy UB#955

Merged
jaremieromer merged 1 commit intovnextfrom
fixed-hierarchy-bug
Dec 14, 2025
Merged

Fixed bug I introduced when fixing hierarchy UB#955
jaremieromer merged 1 commit intovnextfrom
fixed-hierarchy-bug

Commits

Commits on Dec 14, 2025