-
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
8815d6cf
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