Back to bug 761951
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| ago | 2021-10-01 07:31:12 UTC | Summary | dev-lang/mercury-20.06 calls commands that do not exist | dev-lang/mercury-20.06-r1 calls commands that do not exist |
| infra-gitbot | 2021-10-03 08:11:47 UTC | Status | CONFIRMED | RESOLVED |
| Resolution | --- | FIXED |
Back to bug 761951