gnome-music: update to 3.12.1.