Hi,

On 10/15/2014 11:44 AM, Jonathan Wakely wrote:
> We might also want to consider a global s/gnu++0x/gnu++11/ some day.
The below takes care of 17-19, the rest over the next days...

Paolo.

//////////////////