Gas line repair in the case of emergencies always requires a professional plumber and a plumbing permit. You should never attempt to repair a gas line yourself, and in emergencies you should always call 911 if you suspect a gas leak. As a safety...
Better personal homepage
GitHub Flavored Markdown syntax