On 2 March 2013 06:37, Dmitrijs Ledkovs <xnox at debian.org> wrote: > Meh. I see little point of fixing this in ubuntu as C11 in gcc-4.7 is > still not stable and is not encouraged to be used. Fair enough. No bug reports about it, and by now people start moving to boost1.50 anyway. Bye now