>>>>> "Peter" == Peter Seiderer <ps.report at gmx.net> writes: > - new option: link-time optimisation > For details see [1]. > [1] http://valgrind.org/docs/manual/dist.news.html > Signed-off-by: Peter Seiderer <ps.report at gmx.net> Committed, thanks. -- Bye, Peter Korsgaard