From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rich@annexia.org>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 3DE79823D9
	for <caml-list@sympa.inria.fr>; Mon, 26 Feb 2018 15:20:53 +0100 (CET)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org
Received-SPF: None (mail3-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=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="rich@annexia.org"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-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=mail3-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: Pass (mail3-smtp-sop.national.inria.fr: domain of
  postmaster@annexia.org designates 80.68.91.176 as permitted
  sender) identity=helo; client-ip=80.68.91.176;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="rich@annexia.org";
  x-sender="postmaster@annexia.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
IronPort-PHdr: =?us-ascii?q?9a23=3AXz1/Nh8KcyA7E/9uRHKM819IXTAuvvDOBiVQ1KB5?=
 =?us-ascii?q?2+scTK2v8tzYMVDF4r011RmVBd6ds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?=
 =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?=
 =?us-ascii?q?Ifn+FpLPg8it2O2+55Pebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?=
 =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?=
 =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRhHohi?=
 =?us-ascii?q?kZKjA382/XhcNsg61GrxyupRJwzpXIYIyWLvdyYr/RcMkHSWdHQ81fVzZBAoS5?=
 =?us-ascii?q?b4YXAeYPIedYoJX9p1QUtxuxGBSnC+P1xjFPnHP9wKk00+MnEQ7YxwwsEc8FvX?=
 =?us-ascii?q?POrNX0KKgSUfu4w7POzTXFcfxX1jb955LSfhAmu/GMUqt9fMzMwkcsDwPIllad?=
 =?us-ascii?q?pZD/Mz6U1ekBqWyW4/d6We6yiWMqqgd8qSW1yMg2kInGnIcVx0jE9SpnxIY1Is?=
 =?us-ascii?q?W1R1R9Yd6iDpRRuCCaOJFsTsMlWWFotz42yrwAuZGlYCgH0JcqywLFZ/GGcIWE?=
 =?us-ascii?q?+BbuWPuLLTtlhn9oeaqzhxOo/kihzu38WNO00FFPriddiNnMt2wC1xzI58edTP?=
 =?us-ascii?q?t9+Fmu2DmO1w/J8O1EJlo0laXDJ5473rEwjoYTsVjEHiLuhEr5lqqWdkE99uis?=
 =?us-ascii?q?6uTneanmq4SHN450jwH+Kr4hlta+AeQ+KAgOXnKU9f6y1L35rgXFR+BxtrViib?=
 =?us-ascii?q?Hxt4rQJNgSoqC+E0lYz9BwxQy4CmLs6tUTnXAdIBp6PjfBx6ruPVzVarisF/a0?=
 =?us-ascii?q?g3ylljFm1/HPeLr7DcOefTD4jL79cOMluAZnww0pwIUHvsMGOvQ6OPv2H3TJmp?=
 =?us-ascii?q?ndBx49PRazxr+8Wtx70I4OWGvJBbWWYvqL7Q24o9k3KuzJX7c7/S7nIqF+tffo?=
 =?us-ascii?q?i3IpmFZberOmj8NONSKIW89+KkDcWkLCx9cMFWBT5Vg3SurnmFyLFzlJaCTrUg?=
 =?us-ascii?q?=3D=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A+BQDkFpRa/7BbRFBcGwEBAQEDAQEBC?=
 =?us-ascii?q?QEBAYNPgVacG0gGgTSBFpYFghYKhTMCgkIaBgQyFgECAQEBAQEBAQEBaiiCOCK?=
 =?us-ascii?q?CSgEFMgFGEAsYCRMSDy0bBoUWEa00iGWCFAELJodCgQ8+gW8Bgy2LEwWhYQkCl?=
 =?us-ascii?q?BGBfwGQbZV1gS8lDCWBUX0IOoJEhFlAjQ4BAQE?=
X-IPAS-Result: =?us-ascii?q?A0A+BQDkFpRa/7BbRFBcGwEBAQEDAQEBCQEBAYNPgVacG0g?=
 =?us-ascii?q?GgTSBFpYFghYKhTMCgkIaBgQyFgECAQEBAQEBAQEBaiiCOCKCSgEFMgFGEAsYC?=
 =?us-ascii?q?RMSDy0bBoUWEa00iGWCFAELJodCgQ8+gW8Bgy2LEwWhYQkClBGBfwGQbZV1gS8?=
 =?us-ascii?q?lDCWBUX0IOoJEhFlAjQ4BAQE?=
X-IronPort-AV: E=Sophos;i="5.47,396,1515452400"; 
   d="scan'208";a="256138395"
Received: from annexia.org ([80.68.91.176])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 26 Feb 2018 15:20:52 +0100
Received: from rich by annexia.org with local (Exim 4.89)
	(envelope-from <rich@annexia.org>)
	id 1eqJe6-0006mp-Cw; Mon, 26 Feb 2018 14:20:50 +0000
Date: Mon, 26 Feb 2018 14:20:50 +0000
From: "Richard W.M. Jones" <rich@annexia.org>
To: SP <sp@orbitalfox.eu>
Cc: =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= <nicolas.ojeda.bar@lexifi.com>,
	David Allsopp <dra-news@metastack.com>,
	"caml-list@inria.fr" <caml-list@inria.fr>
Message-ID: <20180226142050.r5bautl4orekd3rf@annexia.org>
References: <20180225161430.zkfpkihg7jyxs5cg@annexia.org>
 <E51C5B015DBD1348A1D85763337FB6D90189AD14F3@Remus.metastack.local>
 <3516931D-FCEF-4DDB-9FF7-11D3345B6D6C@orbitalfox.eu>
 <CADK7aFPKdZKrNrj4+wMcVT0xZGU5Hz_ERprtoXZ_an1MTQv2yw@mail.gmail.com>
 <20180226135737.tygbaypvgo6pc7xe@darkstar>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <20180226135737.tygbaypvgo6pc7xe@darkstar>
User-Agent: NeoMutt/20170113 (1.7.2)
Subject: Re: [Caml-list] Status of the OCaml RISC-V port

On Mon, Feb 26, 2018 at 02:13:21PM +0000, SP wrote:
> On Sun, Feb 25, 2018 at 11:35:25PM +0100, Nicolás Ojeda Bär wrote:
> > When the time comes, the patch will be submitted as a github PR and
> > everyone is warmly invited to take part in that discussion.
> 
> Is the development discussion taking place on some other discussion
> list?

TBH there's not been much discussion at all because it has
largely just worked for the past 18 months.

Rich.