From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 9ACAF7ED7A for ; Tue, 21 Aug 2012 18:33:10 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=209.85.212.170; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of agarwal1975@gmail.com designates 209.85.212.170 as permitted sender) identity=mailfrom; client-ip=209.85.212.170; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f170.google.com) identity=helo; client-ip=209.85.212.170; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-wi0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AocCAAO3M1DRVdSqjWdsb2JhbABFulsIIgEBAQEJCQsJEgYjgiEBAQQSAiwBGx0BAwwGBQQBBjsiAREBBQEcBhMih1sBAwyaUQkDjCKCcoVFChknDVeIcQEFDIp8hxwDlVKONj6EHA X-IronPort-AV: E=Sophos;i="4.77,802,1336341600"; d="scan'208";a="153523617" Received: from mail-wi0-f170.google.com ([209.85.212.170]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Aug 2012 18:33:09 +0200 Received: by wibhq12 with SMTP id hq12so4138007wib.3 for ; Tue, 21 Aug 2012 09:33:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=rAlAOugkkXVqAZRVoAO12gNDrDLAo+6HBnJcbVte19o=; b=uchUEd5294JKafpBJsbIaIj/7P1VyMLTg2nfBw7D21ro3QNp2LyvmYbPiu3XnJW8kd U7dhTRCJiyFcEW0uvvGOtVo+BtkfQwcW5wFh7gZ8VRA+EKxxfbhTnxwdHOf1LWyFeyzB 9+TjKSzPQLsI8lSsj6Ylc1W2O64hrTi/4LHVd53I4nfeKFszl8T2FbFeDI9nB83UPzit ehzQ//Kdo4sc1odoALaWIgI4zdTz0TEGgC7/JvASGNxnUVazE8kolG2O63DJbqf7qSHS hhJ3EpYyrRAu1KXfwJPdkIQrR78axo4UeAjVaHUAv1uGLFlUxFPQ/xfotwRSqhOTDalM AOsw== Received: by 10.180.84.1 with SMTP id u1mr40188436wiy.15.1345566789561; Tue, 21 Aug 2012 09:33:09 -0700 (PDT) MIME-Version: 1.0 Received: by 10.216.195.164 with HTTP; Tue, 21 Aug 2012 09:32:49 -0700 (PDT) In-Reply-To: <20120821145509.GA26936@annexia.org> References: <20120821145509.GA26936@annexia.org> From: Ashish Agarwal Date: Tue, 21 Aug 2012 12:32:49 -0400 Message-ID: To: "Richard W.M. Jones" Cc: Esther Baruk , caml-list@inria.fr Content-Type: multipart/alternative; boundary=f46d0444023a836cc604c7c92ece Subject: Re: [Caml-list] Companies using OCaml --f46d0444023a836cc604c7c92ece Content-Type: text/plain; charset=ISO-8859-1 On Tue, Aug 21, 2012 at 10:55 AM, Richard W.M. Jones wrote: Merjis is no more. > Thanks for the update. We'll remove this from the list. I'm using a lot of OCaml at Red Hat. Whether or > not this counts as "Red Hat uses and endorses OCaml", well > probably not. > It would be valuable to include your work at RedHat on this page. The page in no way implies official endorsement of ocaml by the companies listed. If you find it necessary, you could add a sentence like "The work described herein does not constitute official endorsement by RedHat of OCaml." Or perhaps we should add such a disclaimer for the whole page? Then individuals within companies could also be comfortable listing their projects. --f46d0444023a836cc604c7c92ece Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On Tue, Aug 21, 2012 at 10:55 AM, Richard W.M. J= ones <rich@annexia.org> wrote:

Merjis is no more.

Thanks for the updat= e. We'll remove this from the list.


=
I'm using a lot of OCaml at Red Hat. =A0Whether or
not this counts as "Red Hat uses and endorses OCaml", well
probably not.

It would be valuable to i= nclude your work at RedHat on this page. The page in no way implies officia= l endorsement of ocaml by the companies listed. If you find it necessary, y= ou could add a sentence like "The work described herein does not const= itute official endorsement by RedHat of OCaml." Or perhaps we should a= dd such a disclaimer for the whole page? Then individuals within companies = could also be comfortable listing their projects.

--f46d0444023a836cc604c7c92ece--