Custom Query
Status: closed (1 match)
| Ticket | Summary | Owner | Type | Priority | Version | Resolution |
|---|---|---|---|---|---|---|
| #5842 | pretty tests from GHC's testsuite | dterei | task | normal | 7.4.1 | fixed |
Note: See TracQuery
for help on using queries.
| Ticket | Summary | Owner | Type | Priority | Version | Resolution |
|---|---|---|---|---|---|---|
| #5842 | pretty tests from GHC's testsuite | dterei | task | normal | 7.4.1 | fixed |
