Merge pull request #25 from pintos/master

Rerun icon for successful builds doesn't appear - JENKINS-19967