Update (11:36 a.m.): The gas leak is “under control” and the affected area is “open for access to the campus,” according to Campus Safety.