Merge pull request #1579 from MikeMcQuaid/doctor-allow-jenkins
diagnostic: silence a Jenkins doctor warning.
No related branches found
No related tags found
Loading
Please register or sign in to comment
diagnostic: silence a Jenkins doctor warning.