Started on Dec 12, 2013 11:34:59 AM
Using strategy: Default
[poll] Last Built Revision: Revision 237b3ef751dd3237c50c2d99619517d69b6f15c2 (origin/develop)
using GIT_SSH to set credentials git for projects.gwdg.de
Done. Took 0.89 sec
Changes found