worklist/hifi — pull request #1375 by murillodigital (2013-12-16 17:06:46+00:00)
Title: Including and printing Jenkins build job number

For #1374