Bob Friesenhahn wrote:
libtool 1.5.26:
real 4:53.877
user 3:26.912
sys 1:25.275
libtool 1.2965 2008-04-22 (bash)
real 4:03.745
user 3:19.232
sys41.018
Bob, thank you for testing and giving us these numbers.
This improvement is almost entirely due to Ralf,
On Wed, 23 Apr 2008, Peter O'Gorman wrote:
This improvement is almost entirely due to Ralf, so I encourage everyone
who is subscribed to this list to seek him out and buy him many beers.
Please take care not to buy Ralf too many beers at once since then his
productivity may decrease. Spread
