<div dir="ltr"><div><div>Hi,<br><br></div>there were some fallouts from the recent merger of #842, which I&#39;ve quickly fixed up by pushing two trivial patches to master bypassing review on github.<br><br></div><div>My patches compile without warnings and make check is passed, but please review them.<br><br></div><div>Cheers,<br></div><div><div><div><div><div class="gmail_signature"><div dir="ltr">-- <br>Bazsi<br></div></div></div>
</div></div></div></div>