Paolo Carlini Sun, 03 Feb 2013 08:28:23 -0800
Hi, >Tested on x86_64-linux-gnu, including with a -D_GLIBCXX_DEBUG run. >OK to install?
Ok, thanks! Paolo
