Code review comment for lp:~tapaal-ltl/verifypn/reach-stub-new

Revision history for this message
Jiri Srba (srba) wrote :

Merging to trunk now - small issue with loop at the end in once case but let's address this in 3.9.1 release.

review: Approve

« Back to merge proposal