Home Allgemein HTC One Mini: Update auf Android 4.3 Jelly Bean in Deutschland verfügbar