jsorg71 and xuguangxin fix version number that prints at end of configure 1.3.1 to 1.3.2
edd1ad1 Jan 30, 2020
fix version number that prints at end of configure 1.3.1 to 1.3.2
edd1ad1