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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id B45567ED26 for ; Fri, 8 Jun 2012 10:11:52 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At8CAL+y0U/USnIJh2dsb2JhbABFtFYiAQEBCgsJBxYnghgBAQQBMgFGBQsLGAklD0gGE4gGCbkqiyaGAAOaXjWMZw X-IronPort-AV: E=Sophos;i="4.75,736,1330902000"; d="scan'208";a="161880720" Received: from mk-outboundfilter-5-a-3.mail.uk.tiscali.com ([212.74.114.9]) by mail1-smtp-roc.national.inria.fr with ESMTP; 08 Jun 2012 10:11:52 +0200 X-Trace: 533123207/mk-outboundfilter-5.mail.uk.tiscali.com/PIPEX/$PIPEX-ACCEPTED/pipex-tiscali-ips/212.74.113.222/None/gaius@gaius.org.uk X-SBRS: None X-RemoteIP: 212.74.113.222 X-IP-MAIL-FROM: gaius@gaius.org.uk X-SMTP-AUTH: X-Originating-Country: GB/UNITED KINGDOM X-MUA: Opal Webmail (IMP3.1) X-IP-BHB: Once X-IP-Webmail: TRUE X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EAASz0U/USnHe/2dsb2JhbABFtFaBB4IYAQEEATIBRgULCw0LCSUPSAYTiAYJuSqLJoYAA5peNYoGgmE X-IronPort-AV: E=Sophos;i="4.77,376,1336345200"; d="scan'208";a="533123207" X-IP-Direction: IN Received: from unknown (HELO mk-netmail-1.mail.uk.tiscali.com) ([212.74.113.222]) by smtp.pipex.tiscali.co.uk with ESMTP; 08 Jun 2012 09:11:47 +0100 Received: from mk-netmail-1.mail.uk.tiscali.com (localhost.localdomain [127.0.0.1]) by mk-netmail-1.mail.uk.tiscali.com (8.13.8/8.13.8) with ESMTP id q588BkMW002085; Fri, 8 Jun 2012 09:11:46 +0100 Received: (from apache@localhost) by mk-netmail-1.mail.uk.tiscali.com (8.13.8/8.13.8/Submit) id q588BjE4002025; Fri, 8 Jun 2012 09:11:45 +0100 Received: from 80.70.54.5 ( [80.70.54.5]) as user apsy33@dsl.pipex.com by netmail.pipex.net with HTTP; Fri, 08 Jun 2012 09:11:45 +0100 Message-ID: <1339143105.4fd1b3c156b50@netmail.pipex.net> Date: Fri, 08 Jun 2012 09:11:45 +0100 From: Gaius Hammond To: "Richard W.M. Jones" Cc: rixed@happyleptic.org, caml users References: <48BE1C34-0459-4E72-AD89-8DABD92CAD5F@inria.fr> <20120606122617.GC20219@securactive.lan> <20120606205229.GA11065@annexia.org> <20120608045503.GA8094@yeeloong.happyleptic.org> <20120608072030.GO3716@annexia.org> In-Reply-To: <20120608072030.GO3716@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: Opal Webmail (IMP3.1) X-Originating-IP: 80.70.54.5 X-Pipex-Username: apsy33@dsl.pipex.com X-Usage: TalkTalk Business Webmail is subject to the standard Pipex terms and conditions of use X-Validation-by: gaius@gaius.org.uk Subject: Re: [Caml-list] Beta release of OCaml 4.00.0 Quoting "Richard W.M. Jones" : > On Fri, Jun 08, 2012 at 06:55:03AM +0200, rixed@happyleptic.org wrote: > > > If someone wants to pull together all the out-of-tree backends into > > > one place, let me know. I'm sort of interested in maintaining the > > > dropped Itanic backend too, since customers will insist on using it > > > for some reason. > > > > Very good idea. Do we go for github or gitorious? > > I don't like either, but I dislike github less, so github would > be my choice. Another vote for Github here! G --