@Matthias, thanks, your id was new but has now been added to my device list.
As for ppa-purge, that sounds like a bug in ppa-purge/apt/dpkg, or something like that. Maybe you can work around it by reinstalling ubuntu-desktop (or similar package if you run another flavour of ubuntu) after purging? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/946232 Title: [Meta-bug] Missing speaker and/or internal mic port To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/pulseaudio/+bug/946232/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
