Columbus Day Holiday

The library will be closed on Monday, October 12 for the Columbus Day holiday.