Columbus Day Holiday

Monday, Oct. 8

The library will be closed for the holiday.