GitHub PushEvent at 2014-07-31 12:36:43
Repository: saros
Actor: dpp-gerrit
Payload: {"shas":[["56f7c180ea588890d2dca4b7315896994735f0b6","02851e40287be8caac7ed9391a83b0432a3a45d0@arcor.de","[INTERNAL] EditorManager init. is now executed in EDT\n\nMost parts of the initialization logic was not executed in the EDT.\nThis patch ensured that the logic is executed in the EDT.\n\nChange-Id: I315202aa7042bf996a68f0695e59a3afe669af36\nReviewed-on: http://saros-build.imp.fu-berlin.de/gerrit/1847\nTested-by: Jenkins CI\nReviewed-by: Stefan Rossbach <srossbach@arcor.de>","Stefan Rossbach",true]],"size":1,"ref":"refs/heads/master","head":"56f7c180ea588890d2dca4b7315896994735f0b6"}