22 Aug
                
                    2013
                
            
            
                22 Aug
                
                '13
                
            
            
            
        
    
                6:36 p.m.
            
        Hi all, I merged patches from #8144 into HEAD to fix nasty recompilation-checking behavior. As a result, the interface format has changed, so you'll need to clean your tree the next time you sync up. -- Regards, Austin - PGP: 4096R/0x91384671