All city offices, including the Buda Public Library, are closed on Thursday, July 4, 2019 in observance of Independence Day.