Activity log for bug #1233854

Date Who What changed Old value New value Message
2013-10-01 21:16:42 Jiri Srba bug added bug
2013-10-01 21:17:02 Jiri Srba attachment added Petri net https://bugs.launchpad.net/verifypn/+bug/1233854/+attachment/3854130/+files/1.xml
2013-10-01 21:17:18 Jiri Srba attachment added Query https://bugs.launchpad.net/verifypn/+bug/1233854/+attachment/3854131/+files/1.q
2014-07-13 17:42:09 Jiri Srba verifypn: status New Fix Committed
2014-07-15 06:38:29 Jiri Srba verifypn: status Fix Committed Fix Released