Started on Dec 12, 2013 11:04:21 AM
Using strategy: Default
[poll] Last Built Revision: Revision 9519d9e80e64bb180720ac6b942c92e9c473e3b0 (origin/develop)
using GIT_SSH to set credentials git for projects.gwdg.de
Done. Took 0.88 sec
Changes found