#499455 can't delete profile with '#' in its name

Package:
src:gnome-media
Source:
gnome-media
Submitter:
Date:
2023-04-19 09:51:10 UTC
Severity:
normal
#499455#5
Date:
2008-09-18 20:47:57 UTC
From:
To:
If you create a new audio profile with a '#' in its name you can't delete
it using the 'Delete' option, it just remains there.

Pete Boyd