Summary of changes: 71d04ce... Un-retire synergy, it merged back with synergy+ (*) c3320d0... Update summary (*) This commit already existed in another branch; no separate mail sent