Re: [Geotools-devel] Build failed in Jenkins: geotools-master-online #548

2016-07-05 Thread Devon Tucker
FYI, I have a temporary fix ready for this: https://github.com/geotools/geotools/pull/1233 Need some time to work on a true fix though. Cheers, Devon On Tue, Jul 5, 2016 at 7:41 AM,

[Geotools-devel] Build failed in Jenkins: geotools-master-online #548

2016-07-05 Thread monitor
See -- [...truncated 4791 lines...] [exec] copying downloadable files... [ 71%]