Merge changes I3d3e9072,Iee3d0b10
[releng/builder.git] / jenkins-config / global-vars-production.sh
1 global-vars-releng.sh