Pau Garcia i Quiles: ah, yes I added the ppa, but an apt-get source still grabs the old source. O well it looks like someone more experienced with GCC bugs has picked this up anyway.
Pau Garcia i Quiles: ah, yes I added the ppa, but an apt-get source still grabs the old source. O well it looks like someone more experienced with GCC bugs has picked this up anyway.