<div dir="ltr">This request is now being tracked here:<div><a href="https://github.com/ocaml/ocaml.org/issues/473">https://github.com/ocaml/ocaml.org/issues/473</a><br></div><div class="gmail_extra"><br><br><div class="gmail_quote">

On Wed, Apr 30, 2014 at 12:28 PM, Xavier Leroy <span dir="ltr"><<a href="mailto:Xavier.Leroy@inria.fr" target="_blank">Xavier.Leroy@inria.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

Dear Ashish, dear all,<br>
<div class=""><br>
On 30/04/14 17:25, Ashish Agarwal wrote:<br>
> Xavier, if you want to provide the dump (in any format), I'm happy to push<br>
> it to some appropriate places, such as the camlp4 GitHub wiki and possibly<br>
</div>> the <a href="http://ocaml.org" target="_blank">ocaml.org</a> <<a href="http://ocaml.org" target="_blank">http://ocaml.org</a>> repo.<br>
<br>
Here is the dump:<br>
<a href="http://gallium.inria.fr/~xleroy/tmp/backup-mediawiki-gallium.xml.gz" target="_blank">http://gallium.inria.fr/~xleroy/tmp/backup-mediawiki-gallium.xml.gz</a><br>
<br>
It starts with a zillion administrative Mediawiki pages, but the good<br>
stuff is at the end.  The XML doesn't look too scary<br>
<div class=""><br>
> We'll need permission of the authors, so hopefully we can at least have a<br>
> list of their names.<br>
<br>
</div>Yes, the XML dump includes user names for each page.  I could identify<br>
the following names:<br>
<br>
        <username>Bardou</username>     Romain Bardou<br>
        <username>Berke</username>      Berke Durak<br>
        <username>Brunodefraine</username> Bruno de Fraine<br>
        <username>Danweil</username>    Daniel Weil<br>
        <username>Dbuenzli</username>   Daniel Buenzli<br>
        <username>Guesdon</username>    Maxence Guesdon<br>
        <username>Mjambon</username>    Martin Jambon<br>
        <username>Naxu</username>       Na (Dana) Xu<br>
        <username>Pilki</username>      Alexandre Pilkiewicz<br>
        <username>Pouillar</username>   Nicolas Pouillard<br>
        <username>Tews</username>       Hendrik Tews<br>
        <username>Xclerc</username>     Xavier Clerc<br>
<br>
Thanks a lot for your help!<br>
<span class="HOEnZb"><font color="#888888"><br>
- Xavier<br>
</font></span></blockquote></div><br></div></div>