On Mon, Jun 12, 2017 at 9:28 PM, Kristian Waagan <[email protected]> wrote:
> I see the ant plugin was changed / updated from 1.4 to 1.5 on the 25th of > May, but I don't know if that is a problem since the build is running so > seldom these days. > Thanks Kristian, that is a really interesting data point. Perhaps we were breaking the ant plugin's rules in some subtle way, but with the older plugin we were getting lucky and it worked. I'll continue to keep an eye on this build and see if it misbehaves in the future. bryan
