From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p82FsLT8000737 for ; Fri, 2 Sep 2011 17:54:21 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvEAAP36YE7RVdgxkGdsb2JhbABCmTePKAgUAQEBAQkJDQcUBCKBRgEBAQEDEgJkEQsYCRYPCQMCAQIBIgEFARwTCAEBBRmHVJtMCp1bhmUEmDuHVzyEBw X-IronPort-AV: E=Sophos;i="4.68,320,1312149600"; d="scan'208";a="118159203" Received: from mail-qw0-f49.google.com ([209.85.216.49]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Sep 2011 17:54:16 +0200 Received: by qwi2 with SMTP id 2so2412710qwi.36 for ; Fri, 02 Sep 2011 08:54:12 -0700 (PDT) Received: by 10.229.66.215 with SMTP id o23mr951202qci.17.1314978852704; Fri, 02 Sep 2011 08:54:12 -0700 (PDT) Received: from [192.168.1.114] (cpe-72-229-227-71.nyc.res.rr.com. [72.229.227.71]) by mx.google.com with ESMTPS id eg5sm1756777qab.6.2011.09.02.08.54.11 (version=TLSv1/SSLv3 cipher=OTHER); Fri, 02 Sep 2011 08:54:11 -0700 (PDT) Message-ID: <4E60FC24.4090605@wikimedia.org> Date: Fri, 02 Sep 2011 11:54:12 -0400 From: Sumana Harihareswara Organization: Wikimedia Foundation User-Agent: Mozilla/5.0 (X11; Linux i686; rv:6.0) Gecko/20110812 Thunderbird/6.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <4E60F668.9060206@wikimedia.org> In-Reply-To: <4E60F668.9060206@wikimedia.org> X-Enigmail-Version: 1.3.1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Validation-by: sumanah@wikimedia.org Subject: [Caml-list] Re: MediaWiki welcomes OCaml coders & reviewers - help Wikipedia display math better On 09/02/2011 11:29 AM, Sumana Harihareswara wrote: > Pending patches that need review: > https://www.mediawiki.org/wiki/Special:Code/MediaWiki/tag/math I'm sorry, that's http://www.mediawiki.org/wiki/Special:Code/MediaWiki/tag/math , no HTTPS. Thanks to Esther Baruk for correcting me. -- Sumana Harihareswara Volunteer Development Coordinator Wikimedia Foundation