Summary of changes: 678d218... Add patch to fix ssh options (bug #1066744) (*) 876c1a4... Add upstream bug url (*) (*) This commit already existed in another branch; no separate mail sent