Summary of changes: 22246e1... Update to spice-gtk 0.23 (*) 44f4ee2... update sources file (*) 9c4a8a7... Merge branch 'master' into f20 (*) This commit already existed in another branch; no separate mail sent