 
            
            
            
            
                24 Oct
                
                    2011
                
            
            
                24 Oct
                
                '11
                
            
            
            
        
    
                4:14 a.m.
            
        On Sat, 2011-10-22 at 22:28 +0100, Ian Lynagh wrote:
This proposal is to change directory to use the time package rather than the old-time package. This will hopefully be a significant step towards actually making the transition in general.
+1 (regardless of what is decided w.r.t. POSIXTime vs. UTCTime)
I'm not sure if POSIXTime or UTCTime is the better type to use. Does anyone know?