Comment by kevin_thibedeau

Mint is part of T-mobile now so it shouldn't be deprioritized any more.