GitLab pull request

Sanjeev Gupta ghane0 at
Mon Jan 18 16:55:35 UTC 2016


Can someone review and merge the pull request on GitLab?

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).

Sanjeev Gupta
+65 98551208
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the devel mailing list