Linux Mint 19.1 soll kurz vor Weihnachten fertig sein