Summary of changes: 461b41e... Add patch to fix the focus issue under gnome-shell (*) af1c2f7... Add patch to source tree... (*) (*) This commit already existed in another branch; no separate mail sent