Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[cross-project-issues-dev] Re: TPTP update ready for Europa M5 = Europa M5 build FAILED

I re-ran the Europa build after your update but it failed on TPTP. See the log for details.

Hubert H Leung wrote:

TPTP update is ready for Europa M5.  feature-tptp.xml file is also updated.  

Back to the top