Code review comment for lp:~tapaal-contributor/tapaal/cut-names-1923011

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

Before merging, could you make a search for something like "new Dimension(" to see if you can find other places where this could be an issue.

review: Approve (code)

« Back to merge proposal