Activity log for bug #2023651
| Date | Who | What changed | Old value | New value | Message |
|---|---|---|---|---|---|
| 2023-06-13 11:21:45 | Jiri Srba | bug | added bug | ||
| 2023-06-13 11:21:45 | Jiri Srba | attachment added | wrong-hyper-LTL-answer.tapn https://bugs.launchpad.net/bugs/2023651/+attachment/5679478/+files/wrong-hyper-LTL-answer.tapn | ||
| 2023-06-16 14:24:05 | Jiri Srba | tapaal: status | New | Fix Committed |
