Re: [yast-devel] Hint: time-stamping output and profiling