Community
Participate
Working Groups
Created attachment 166775 [details] Test Project Documentation Smoke Test Errors I2 documentation smoke test failures. See attached.
Created attachment 166797 [details] Patch.
Patch delivered to CVS (HEAD).
Verified in TPTP-4.7.0RC4-201006081927. Closing.