Samsung releases October update for Galaxy A72