R devel - Feb 2010 - incoming/14210 system.time provides inaccurate sys.child

Patch against current trunk attached. It is a one-liner, so I do not
believe anyone can claim copyright over it.

Cheers,

	Manuel.

BTW, bugs.r-project.org is painfully slow. I cannot login, I cannot post
messages, I cannot attach files. And it doesn't handle accents in my name.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-diff
Size: 602 bytes
Desc: not available
URL:
<https://stat.ethz.ch/pipermail/r-devel/attachments/20100210/c5e44b1d/attachment.bin>