Community
Participate
Working Groups
The version number for the ACServer reported when running ACServer -v should be updated to match the release. See bug 286323 for an example.
Created attachment 179642 [details] Patch to update AC version
Patch checked into HEAD.
Patch has been reverted in HEAD.
Created attachment 179761 [details] Patch to update plug-in and IAC plug-in version numbers
Plug-in version numbers updated in HEAD.
Patch for updating the AC version to 4.7.2 checked into HEAD. IAC and AC plug-in versions increased by 1 for 4.7.2 in HEAD. The attached plug-in version patch increase applies to 4.7.1.1.
Verified on TPTP-4.7.2-201011182147. Running ACServer -version reports 4.7.2.