George Mason Drive was closed and nearly a dozen condominium residents evacuated after workers struck a gas line near Barcroft Park this morning. The gas line was struck shortly after 11 a.m. on S. George Mason Drive between Four Mile Run Drive and S. Columbus Street. The stretch of road was closed by police as a Washington Gas crew worked to clamp the gas line and as firefighters stood by with hoses ready should the gas ignite. Just before noon the leak was reported to be stopped. Police were reopening three out of the four lanes of George Mason while the gas company started working to fix the line. Firefighters were checking nearby buildings — including the adjacent George Mason Village condos — to ensure that the gas had dissipated.