Summary of changes: 0494806... Removed --enable-bridge-hotkey option for stable. (*) e24d77d... Reverted because of no push --force. (*) c64cc4b... Fixed Bug 720884 - gnome-shell freeze while terminating ibu (*) (*) This commit already existed in another branch; no separate mail sent