Linuxディストリビューション「Linux Mint」開発チームは11月29日、最新版となる「Linux Mint 17.1」(開発コード「Rebecca」)をリリースした。ポイントリリースながら多くの機能強化が加わっている。 Linux Mintは「モダンで洗練されたOS開発」を目標とするプロジェクト。Ubuntuをベースに独自のカスタマイズを加えているのが特徴で、プロジェクトでは「Windows、Mac OS Xに続いて3番目に広く利用されている個人用OS」としている。デスクトップ環境としてはGNOME 2をベースとした「MATE」と、GNOME 3をベースとした「Cinnamon」の2種類が利用できる。 Linux Mint 7.1は5月末に公開されたバージョン17に続く最新安定版となり、2019年までサポートされる長期サポート版(LTS)となっている。Linuxカーネルはバージョ