Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixing unification regression #5323. | Hugo Herbelin | 2017-01-23 |
Tracking conversion problems to reconsider was lost for evars subject to restriction (field last_mods was not updated and conversion problems not considered to be changed). |