All City offices, including the Buda Public Library, are closed on Monday, Oct. 12, 2020 in observance of Columbus Day.