City officials, friends and family gathered Thursday morning to say goodbye to former Columbus Councilor Judy Thomas, who died last month shortly after leaving city council. Thomas died on April 19 at ...