Hi again,

On 10/15/2014 11:50 AM, Paolo Carlini wrote:
>> We might also want to consider a global s/gnu++0x/gnu++11/ some day.
> And s/gnu++1y/gnu++14 of course ;)
I'm going to commit the below.

Thanks,
Paolo.

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