[Stig Bjørlykke <stig.bjorlykke@xxxxxxxxx>]

On 29. juli. 2009, at 07.42, Kovarththanan Rajaratnam wrote:

> Is this an error? I've attached a patch. I don't think this is the  
> correct fix because it used to work so we properly need to address  
> the real problem and not the symptom.


I have this on my list of unresolved issues, so this is not a new  
bug.  I have added the same for recent.gui_time_precision (which I had  
problems with) in r29679.


--
Stig Bjørlykke