On 2018-04-22, Mark Thomas wrote: > I think I've fixed this.
Don't forget to update the checked out copy on vmgump-vm3 (I forgot to do so for hamcrest-library :-). Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: general-unsubscr...@gump.apache.org For additional commands, e-mail: general-h...@gump.apache.org