What happened to Mint?