gnome-online-miners: update to 3.10.2.