| 2011-07-19 12:55:16 |
Julian Taylor |
bug |
|
|
added bug |
| 2011-07-19 12:55:19 |
Julian Taylor |
bug |
|
|
added subscriber Ubuntu Sponsors Team |
| 2011-07-19 12:57:00 |
Julian Taylor |
attachment added |
|
mcrl2.log.xz https://bugs.launchpad.net/ubuntu/+source/mcrl2/+bug/812880/+attachment/2217677/+files/mcrl2.log.xz |
|
| 2011-07-19 12:59:45 |
Benjamin Drung |
mcrl2 (Ubuntu): importance |
Undecided |
Wishlist |
|
| 2011-07-19 12:59:45 |
Benjamin Drung |
mcrl2 (Ubuntu): status |
New |
Confirmed |
|
| 2011-07-19 12:59:47 |
Benjamin Drung |
removed subscriber Ubuntu Sponsors Team |
|
|
|
| 2011-07-19 12:59:58 |
Benjamin Drung |
bug |
|
|
added subscriber Ubuntu Package Archive Administrators |
| 2011-07-27 14:34:57 |
Sebastien Bacher |
mcrl2 (Ubuntu): status |
Confirmed |
Fix Released |
|
