On Thu, Jan 24, 2013 at 11:10 AM, Anil Madhavapeddy <span dir="ltr"><<a href="mailto:anil@recoil.org" target="_blank">anil@recoil.org</a>></span> wrote:<br><div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im"></div><div class="im">
> what's the best way to reflect this on <a href="http://ocaml.org" target="_blank">ocaml.org</a>?<br>
><br>
> Do you mean to publicize the groups? We've had some discussion [1] about a User Groups page, which could be generalized to groups of all sorts, perhaps split into different sections. Working groups could all be listed here with a description and links to their mailing lists, etc. Actually, this resolves the problem we were having that currently there are not enough groups to justify a whole separate page.<br>


<br>
</div>It's not quite a user group though... it's more to get some reasonable consensus and well-thought out patches to propose upstream without lots of different opinions preventing anything from being merged.<br>

</blockquote><div><br></div><div>So do you mean you'd rather not list the working groups on <a href="http://ocaml.org">ocaml.org</a>? Or not in the place I suggested?</div><div><br></div></div>