Learn more about cloning repositories
You have read-only access
Merge pull request #4179 from martin-frbg/jenkinsfix Run "make clean" on Jenkins first to remove stale objects
