Back to bug 812681
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| Jerry James | 2012-04-17 20:12:45 UTC | Status | NEW | ASSIGNED |
| Jerry James | 2012-04-17 20:12:47 UTC | Assignee | nobody | loganjerry |
| Jerry James | 2012-04-17 20:12:54 UTC | Flags | fedora-review? | |
| Jerry James | 2012-04-17 20:12:55 UTC | CC | loganjerry | |
| John C Peterson | 2012-04-24 20:52:36 UTC | Summary | Review Request: GlueMiniSat - Boolean SAT solver that implements literal blocks distance (LBD) | Review Request: glueminisat - Boolean SAT solver that implements literal blocks distance (LBD) |
| Jason Tibbitts | 2012-04-25 01:21:23 UTC | Blocks | 177841 | |
| Jerry James | 2012-04-26 16:42:00 UTC | Flags | fedora-review? | fedora-review+ |
| John C Peterson | 2012-04-27 04:45:30 UTC | Status | ASSIGNED | CLOSED |
| Resolution | --- | NOTABUG | ||
| Flags | fedora-cvs? | |||
| Last Closed | 2012-04-27 00:45:30 UTC | |||
| Gwyn Ciesla | 2012-04-27 13:53:40 UTC | Flags | fedora-cvs? | fedora-cvs+ |
| John C Peterson | 2012-04-27 20:18:56 UTC | Flags | fedora-cvs+ | fedora-cvs? |
| Gwyn Ciesla | 2012-04-28 14:40:55 UTC | Flags | fedora-cvs? | fedora-cvs+ |
| Björn 'besser82' Esser | 2013-10-19 14:42:52 UTC | Blocks | 177841 |
Back to bug 812681