TAPAAL

  1. Bug #1958791
  2. Comment #3

Comment 3 for bug 1958791

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

This should be fixed when merging https://code.launchpad.net/~tapaal-contributor/tapaal/cpn-solvedBy/+merge/415019