On Thu, 2017-01-05 at 13:21 +0100, Gabriel Gritsch wrote: > thank you for the quick answer - it worked. > > I was unable to search the mailing list because the mentioned urls seem to be > down: > http://news.gmane.org/gmane.comp.debugging.valgrind > http://search.gmane.org Yes, the gmane shutdown has still some visible effects :(.
I guess that we need to change these URLs to point at the 'born again' gmane but I am not sure to understand the current state of this new gmane, and which URL to use to point at the search. Philippe ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot _______________________________________________ Valgrind-users mailing list Valgrind-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/valgrind-users
