On May 3, 2011, at 8:50 AM, Axel Naumann wrote: > Hi, > > shall I commit attached patch? It (trivially) fixes the libstdc++ header > search patch for Ubuntu 11.04. > > Cheers, Axel. > <HeaderSearch_Ubuntu_1104.diff Probably. Might want to make sure the versions are in numerical order there somewhere, but sure. -eric