I don't understand. Are you asking for documentation on how to use the Github issues system? Just click "New Issue" on the link I gave.<br><br><div class="gmail_quote">On Sat, Mar 30, 2013 at 3:23 PM, Florent Monnier <span dir="ltr"><<a href="mailto:monnier.florent@gmail.com" target="_blank">monnier.florent@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">2013/3/30, Ashish Agarwal <agarwal1975@gma...>:<br>
> Or if you are not yet comfortable with git/github,<br>
<br>
As I told in one of these emails I have not learned how to use git/github yet.<br>
And need to be in good shape/state/mood to read mans :)<br>
<br>
>                                                    submitting an issue [1]<br>
> would be the next best thing.<br>
<br>
could you RTFM me with some doc link ?<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Cheers<br>
_______________________________________________<br>
opam-devel mailing list<br>
<a href="mailto:opam-devel@lists.ocaml.org">opam-devel@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/opam-devel" target="_blank">http://lists.ocaml.org/listinfo/opam-devel</a><br>
</font></span></blockquote></div><br>