Summary of changes: 5b094fd... apply patch to fix crash on automatic re-login after automa (*) 0d5bf2f... Merge remote branch 'origin/master' into f13/master (*) This commit already existed in another branch; no separate mail sent