Who was the Governor of Ohio in 1835?

Robert Lucas (born April 1, 1781 in Mecklenburg, Virginia; died February 7, 1853 in Iowa City, Iowa) succeeded Duncan McArthur as the twelfth Governor of Ohio, serving between December 7, 1832 and December 12, 1836, including the whole of 1835.