Rework refresh_vgrid_map in order to address a potential race and missing field init#380
Merged
jonasbardino merged 2 commits intonextfrom Jan 12, 2026
refresh_vgrid_map in order to address a potential race and missing field init#380