<div dir="ltr">Hi all,<div><br></div><div>I pushed a change to gerrit this morning:</div><div><br></div><div>
<pre style="margin-top:0px;margin-bottom:0px"><a href="http://review.source.kitware.com/#/t/3500/">http://review.source.kitware.com/#/t/3500/</a><br></pre><pre style="margin-top:0px;margin-bottom:0px"><br></pre><pre style="margin-top:0px;margin-bottom:0px">

but the automated gerrit builds weren't submitted. Is something broken?</pre><pre style="margin-top:0px;margin-bottom:0px"><br></pre><pre style="margin-top:0px;margin-bottom:0px">Dave</pre></div></div>