mirror of https://github.com/jenkinsci/jenkins.git
Merge pull request #3429 from jglick/revision
Fix revision after bad merge
This commit is contained in:
commit
d004eea0ca
Loading…
Reference in New Issue