Code review comment for lp:~tapaal-contributor/tapaal/add-discrete-to-untimed

Kenneth Yrke Jørgensen (yrke) wrote :

Please check comments for one possible minior issue, just double check that the logic is as intended

review: Needs Fixing

« Back to merge proposal