diff options
| author | Hugo Herbelin | 2016-01-12 20:49:34 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2016-01-12 22:17:45 +0100 |
| commit | be4bfc78c493464cb0af40d7fae08ba86295a6f9 (patch) | |
| tree | dca0b2628e1ddfa0f64cf66234c225399a43f728 /dev | |
| parent | 74d89e0be05e5cb4c9faf154478bc0c907bec2bb (diff) | |
Fixing #4256 and #4484 (changes in evar-evar resolution made that new
evars were created making in turn that evars formerly recognized as
pending were not anymore in the list of pending evars). This also
fixes the reopening of #3848.
See comments on #4484 for details.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions