Merge the tip of origin/release/proposed/2019.2.0 into origin/release/2019.2.0

d595a569 Follow up jenkins update

Change-Id: I1f8218457a66114c69dfb25e4df9ba875e4089c8