On 28/07/2017 03:25, Philippe Mathieu-Daudé wrote: > Eric said this can wait 2.11, however these patches don't change any code > generated, I think the 2.10 users deserve an up-to-date doc :p
I agree, especially because this is a 2.10 regression. Paolo
