increased version number in preparation for release 5.10#2731

Merged

kroening merged 1 commit intodevelopfrom

increase-version

Aug 14, 2018

Commits on Aug 13, 2018

increased version number in preparation for release 5.10
Daniel Kroening
committed