-
unknown authored
Bumped up version number to indicate 4.1.12 was branched off configure.in: Bumped up version number to indicate 4.1.12 was branched off
577b2918
Bumped up version number to indicate 4.1.12 was branched off configure.in: Bumped up version number to indicate 4.1.12 was branched off