Madison Public Library Board: Meeting of October 1, 2020