Skip to content

Rework refresh_vgrid_map in order to address a potential race and missing field init#380

Merged
jonasbardino merged 2 commits intonextfrom
fix/corner-case-missing-init-of-vgrid-map-vgrid-fields
Jan 12, 2026
Merged

Rework refresh_vgrid_map in order to address a potential race and missing field init#380
jonasbardino merged 2 commits intonextfrom
fix/corner-case-missing-init-of-vgrid-map-vgrid-fields

Commits

Commits on Jan 12, 2026