Loss of longtime public servant 'deeply felt'

Robert Lumpkin died July 17 at his home; he was 71.