diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-10-05 19:22:28 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-10-05 19:22:28 +0200 |
| commit | 9c033b4da738fb399eebe9f8ccf0f8a407d6d42e (patch) | |
| tree | d577536cada246e5824b8805fc9b0c460864ab89 /toplevel | |
| parent | 4fdc21aaa280b7580590a98d27388a44cb86e8d4 (diff) | |
| parent | 25c0f1b9657c873022fbe63d676eda058464e3c3 (diff) | |
Merge PR #1081: Mini fix at improving the cannot unify error message
Diffstat (limited to 'toplevel')
0 files changed, 0 insertions, 0 deletions