| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2020-01-08 | Unify output of "variant not found" errors | Esteban Küber | -1/+1 |
| 2019-09-21 | review comments | Esteban Küber | -1/+1 |
| 2019-09-21 | Propagate `types.err` in locals further to avoid spurious knock-down errors | Esteban Küber | -0/+4 |
