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 347417ED7A for ; Tue, 21 Aug 2012 18:38:18 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rich@annexia.org) identity=pra; client-ip=80.68.91.176; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of rich@annexia.org designates 80.68.91.176 as permitted sender) identity=mailfrom; client-ip=80.68.91.176; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; 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@furbychan.cocan.org) identity=helo; client-ip=80.68.91.176; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="postmaster@furbychan.cocan.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigGAFi4M1BQRFuw/2dsb2JhbABFhRgiAbUogQeCIAEBBTo/EAsYHBIUKCETiBG5VoU2hVKHHAOVUZAUgmI X-IronPort-AV: E=Sophos;i="4.77,802,1336341600"; d="scan'208";a="153523881" Received: from furbychan.cocan.org ([80.68.91.176]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 21 Aug 2012 18:38:17 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.72) (envelope-from ) id 1T3rSD-0007Jv-VO; Tue, 21 Aug 2012 17:37:21 +0100 Date: Tue, 21 Aug 2012 17:37:21 +0100 From: "Richard W.M. Jones" To: Ashish Agarwal Cc: Esther Baruk , caml-list@inria.fr Message-ID: <20120821163721.GG23123@annexia.org> References: <20120821145509.GA26936@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Companies using OCaml On Tue, Aug 21, 2012 at 12:32:49PM -0400, Ashish Agarwal wrote: > 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. Well I can't really say .. but the company name is "Red Hat". Rich. -- Richard Jones Red Hat