Code review comment for lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL

Revision history for this message
Kenneth Yrke Jørgensen (yrke) wrote :

Latest version set UPPAAL version to 4.1.19 to match rev. 5648

« Back to merge proposal