| 2020-05-17 07:29:20 |
Jiri Srba |
bug |
|
|
added bug |
| 2020-05-17 08:51:15 |
Jiri Srba |
tapaal: assignee |
|
Thomas Pedersen (tpede16) |
|
| 2020-05-23 08:12:50 |
Thomas Pedersen |
tapaal: status |
New |
In Progress |
|
| 2020-05-23 11:07:54 |
Launchpad Janitor |
branch linked |
|
lp:~tapaal-contributor/tapaal/verification-result-explanation-to-tooltip-1879129 |
|
| 2020-05-23 11:09:34 |
Thomas Pedersen |
branch unlinked |
lp:~tapaal-contributor/tapaal/verification-result-explanation-to-tooltip-1879129 |
|
|
| 2020-05-23 11:09:59 |
Launchpad Janitor |
branch linked |
|
lp:~tapaal-contributor/tapaal/verification-result-explanation-to-tooltip-1879129 |
|
| 2020-06-09 14:14:48 |
Jiri Srba |
tapaal: status |
In Progress |
Fix Committed |
|
| 2020-11-01 19:03:03 |
Jiri Srba |
tapaal: status |
Fix Committed |
Fix Released |
|
