Activity log for bug #1757754
| Date | Who | What changed | Old value | New value | Message |
|---|---|---|---|---|---|
| 2018-03-22 02:04:28 | Simon Quigley | bug | added bug | ||
| 2018-03-22 09:52:11 | Simon Quigley | bug watch added | https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=875040 | ||
| 2018-03-22 09:52:11 | Simon Quigley | bug task added | mcrl2 (Debian) | ||
| 2018-03-22 12:17:00 | Bug Watch Updater | mcrl2 (Debian): status | Unknown | Confirmed | |
| 2019-09-27 20:21:56 | Bug Watch Updater | mcrl2 (Debian): status | Confirmed | Fix Released | |
| 2021-12-05 09:10:06 | Rik Mills | mcrl2 (Ubuntu): status | New | Fix Released |
