<div dir="ltr"><div><div><div>Hi,<br><br></div>Can someone review and merge the pull request on GitLab?<br><br></div>Once this is done, and I am clear on how PRs work, I have a whole slew of minor fixes in the documentation (broken links, typos, etc).<br><br></div>Thanks<br clear="all"><div><div><div><div><div><div class="gmail_signature">-- <br>Sanjeev Gupta<br>+65 98551208     <a href="http://www.linkedin.com/in/ghane" target="_blank">http://www.linkedin.com/in/ghane</a></div></div>
</div></div></div></div></div>