Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Port fix for bugs 4763, 5149, previously 0b417c12e | Matthieu Sozeau | 2016-10-22 |
* | Revert "unification.ml: fix for bug #4763, unif regression" | Maxime Dénès | 2016-10-21 |
* | unification.ml: fix for bug #4763, unif regression | Matthieu Sozeau | 2016-10-06 |