Workmen repair a gas pipeline Workmen repair a gas pipeline on Tuesday, June 8, 2021. The line was accidentally ruptured during work on the 7th street project. Several businesses were forced to close for the day.
