Working again, not sure if it was coincidence because the files e.g. in devicemap-data did not even change since it failed...
Werner ---------- Forwarded message ---------- From: Apache Jenkins Server <jenk...@builds.apache.org> Date: Fri, Aug 19, 2016 at 7:54 PM Subject: Jenkins build is back to normal : devicemap-data-1.0 #232 To: devicemap-...@incubator.apache.org, wk...@apache.org See <https://builds.apache.org/job/devicemap-data-1.0/232/changes>