Hi! > valgrind-developers has heavy traffic, use valgrind-announce. Was this requested by valgrind devs? I suppose this is fine as long as we get their ack. -- Cyril Hrubis chrubis@suse.cz