Activity log for bug #2023774
Date | Who | What changed | Old value | New value | Message |
---|---|---|---|---|---|
2023-06-14 13:01:32 | Jiri Srba | bug | added bug | ||
2023-06-14 13:01:32 | Jiri Srba | attachment added | hyper-LTL-edit-trace-issue.tapn https://bugs.launchpad.net/bugs/2023774/+attachment/5679698/+files/hyper-LTL-edit-trace-issue.tapn | ||
2023-06-22 19:57:36 | Jiri Srba | tapaal: status | New | Fix Committed |