<div dir="ltr"><div class="gmail_extra">I find catkin_lint extremely helpful, an urge everyone to try it.<br><br clear="all"><div>Thanks, Timo!</div>-- <br> joq
</div></div>