Not sure this is a duplicate (1427877 was closed with a fix for volume keys but not media keys), but Anders fixed this with gnome-shell 3.16.3-1ubuntu2. Thank you!
Not sure this is a duplicate (1427877 was closed with a fix for volume keys but not media keys), but Anders fixed this with gnome-shell 3.16.3-1ubuntu2. Thank you!