merge Karl Lum  2010-03-01 10:49
Status: Closed
 
They have to be done manually, but someone from the core team will periodically perform merges.