Custom Query (3 matches)
Status: closed (1 match)
Ticket | Summary | Owner | Type | Priority | Resolution | Created |
---|---|---|---|---|---|---|
#511 | new Coq command "From" supported by PG? | defect | blocker | invalid | 8 years ago | |
Status: new (2 matches) |
||||||
Ticket | Summary | Owner | Type | Priority | Resolution | Created |
#462 | Improve library bundling | defect | minor | 11 years ago | ||
#513 | Splash screen disappears too quickly | defect | minor | 8 years ago |
Note: See TracQuery
for help on using queries.