<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Yeah, that looks fine.  Does that solve your problem?<br></blockquote><div><br>Yeah it does. Should I provide a gerrit patch? Or it should be first tested more thoroughly?<br>
<br></div></div>