Ubuntu
gnome-media package

  1. Bug #84007
  2. Comment #92

Comment 92 for bug 84007

Revision history for this message
Pedro Villavicencio (pedro) wrote :

Verification done:

- With gnome-media 2.18.0-0ubuntu1 you can't edit the profiles.
- After upgrade to gnome-media 2.18.0-0ubuntu1.1 the profiles can be edited.

The bug is fixed with the proposed version, thanks.