times posix special builtin

[Mike Jonkmans]

Hi,

The 'times' utility is not listed as a posix special builtin
in doc/bashref.texi

It can be fixed by changing:
        @w{shift trap unset}
to:
        @w{shift times trap unset}

-- 
Regards, Mike Jonkmans