1. 76b98cf add contrib/jenkins.sh, for gerrit build bot by Neels Hofmeyr ยท 8 years ago