[wp-hackers] $precision in timer_stop unused

[Ryan Boren]

On Sun, 2005-03-13 at 19:07 -0500, Robert Deaton wrote:
> Wasn't sure if anyone else has noticed this, but for the last few
> months there has been a $precision arguement for timer_stop that is
> unused. Dunno if a bug report should be filed or if a dev will just
> make the necessary changes (could just remove it since apparently
> nobody is missing it anyways).
> 
> If a bug report needs to be filed, would one of you mind doing it for
> me, I'm rather busy lately..

http://mosquito.wordpress.org/view.php?id=991

Ryan