golem.de und heise.de berichten, dass die Seite von Linux Mint am Samstag eine Zeitlang kompromittiert war und die 32- und 64-bit ISOs Malware enthalten.