Editor's note: This article was updated at 9:45 p.m., April 10.

The University of Delaware Hugh M. Morris Library and Library Commons will operate on their normal schedule Thursday, April 11, opening at 8 a.m.

The library closed at 5:30 p.m., April 10, so that Facilities Maintenance and Operations and Environmental Health and Safety could investigate a leaking sewage pipe and make repairs.