On 10/12/2016 04:09 PM, Pedro Alves wrote:


Thanks.  Here's a follow up patch that I was just testing.

Need this if building with "g++ -std=gnu++11", with gcc < 4.7.

Lovely. That's ok too if the other one goes in.


Bernd

Reply via email to