Deleting Mint branch. It was merged back into the trunk.
Authored by: mgricken 2009-09-30
Parent: [r5097]
Child: [r5099]