Summary of changes: 93d06ca... update patch status (*) 6ce6838... update patch status, bug numbers (*) 270cabf... Disable "GNOME Audio Profile" encoder, if no audio profiles (*) eb74795... Merge branch 'master' into f18 (*) (*) This commit already existed in another branch; no separate mail sent