Linux Mint 17.1, which was officially released on Nov. 29, provides users of the popular Linux desktop with an incremental update and some additional polish. Code-named Rebecca, Linux Mint 17.1 offers a choice of desktop user interfaces, the two primary ones being MATE and Cinnamon.