diff options
| author | Hugo Herbelin | 2014-07-13 17:47:15 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-07-13 18:02:57 +0200 |
| commit | c2b0ca88cbc4e874e7b3bd9b9f4c07477cb5b530 (patch) | |
| tree | d0e03a08be41eda0bb7fab325e3e5160dc2e273a /interp | |
| parent | d29b487f7c50fd8332cb1cfc144f70bc7db595d9 (diff) | |
Mentioning the incompatibility due to fixing bug #2996 (see #3418).
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions