<div dir="ltr"><div>As our active &quot;stable&quot; branch is release/0.12 I have created a new job and dropped the one for 0.12.</div><a href="https://dev.majordodo.org/jenkins/job/HerdDB_012">https://dev.majordodo.org/jenkins/job/HerdDB_012</a><br><div><br></div><div>I guess we are going to cut a new release out of that branch soon....</div><div><br></div><div><br></div><div><br></div><div>Enrico</div></div>