upstream/20250730.a7c7826

Ben Hutchings

@benh

a7c7826b · Mines: fix a hang during grid generation. · Jul 29, 2025

Upstream version 20250730.a7c7826