--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Fri, 03 Apr 2020 11:48:43 +0100
+Received: from localhost ([::1] helo=libre-riscv.org)
+ by libre-riscv.org with esmtp (Exim 4.89)
+ (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
+ id 1jKJsQ-0006JB-M8; Fri, 03 Apr 2020 11:48:42 +0100
+Received: from lkcl.net ([217.147.94.29])
+ by libre-riscv.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.89) (envelope-from <lkcl@lkcl.net>) id 1jKJsP-0006J5-8g
+ for libre-riscv-dev@lists.libre-riscv.org; Fri, 03 Apr 2020 11:48:41 +0100
+DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
+ s=201607131;
+ h=Content-Type:To:Subject:Message-ID:Date:From:In-Reply-To:References:MIME-Version;
+ bh=EkzyNlST0IHxGOucW7LXAV3CszR7c1H7uXeWKMFavMM=;
+ b=U+PNCs1QAmLSM3VlowxRFjdnYyDO9G1oj2EMMkC67p6Ko70sn7Zz72uhXX1XKHU+lHXAqgmarM3IFcgTHVAjFkDXAohRcIeBtIMgp8dELubu0JZdrpIwPB0kMKwgr0rHZksJMWi4tma/Ndb//Qf0zgt02FOIoa++3zsGkILjtec=;
+Received: from mail-lj1-f182.google.com ([209.85.208.182])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jKJsO-000261-T9
+ for libre-riscv-dev@lists.libre-riscv.org; Fri, 03 Apr 2020 10:48:41 +0000
+Received: by mail-lj1-f182.google.com with SMTP id t17so6425004ljc.12
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Fri, 03 Apr 2020 03:48:25 -0700 (PDT)
+X-Gm-Message-State: AGi0PuZCsPhHVHneQV4aamEGO6VLYGqxUVmX1v7AmEQmlzAWWNgKl2oi
+ 9vmsfmXNwCGmvvosXO2PpKjSHpDcu0Iz75NYdaY=
+X-Google-Smtp-Source: APiQypKQ65OGlsOpvWFeHNJQKZm+g5tJOnTaF8pMh8XbRF8y9AzDnxX/ZenVkhnEwr4pPpweWYdJkeFvfs5YTjlLs9Q=
+X-Received: by 2002:a2e:b5bc:: with SMTP id f28mr4684107ljn.191.1585910900059;
+ Fri, 03 Apr 2020 03:48:20 -0700 (PDT)
+MIME-Version: 1.0
+References: <CAC2bXD74QdtDc_7=ojaFc0ED4R3SzPGKS2b4s+mjshi-3ph=ag@mail.gmail.com>
+ <CAPweEDxvT1sqvKa6oq=_E25zM3wdmA5yeP3=3A8iMUkoW4PdzQ@mail.gmail.com>
+ <2d0e9496-606a-4399-d35b-e90bfd87f896@paape.io>
+In-Reply-To: <2d0e9496-606a-4399-d35b-e90bfd87f896@paape.io>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Fri, 3 Apr 2020 11:48:10 +0100
+X-Gmail-Original-Message-ID: <CAPweEDyxxGGmYb3sA7ywrgSWT5njFT=EMVv3Ae=aguokMmD8PQ@mail.gmail.com>
+Message-ID: <CAPweEDyxxGGmYb3sA7ywrgSWT5njFT=EMVv3Ae=aguokMmD8PQ@mail.gmail.com>
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+Subject: Re: [libre-riscv-dev] sorry state of ieee754fpu repo -- CI
+ desperately needed
+X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
+X-Mailman-Version: 2.1.23
+Precedence: list
+List-Id: Libre-RISCV General Development
+ <libre-riscv-dev.lists.libre-riscv.org>
+List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
+ <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
+List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
+List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
+List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
+List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
+ <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
+Reply-To: Libre-RISCV General Development
+ <libre-riscv-dev@lists.libre-riscv.org>
+Content-Type: text/plain; charset="utf-8"
+Content-Transfer-Encoding: base64
+Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
+Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
+
+T24gRnJpLCBBcHIgMywgMjAyMCBhdCAxMTozMCBBTSBGcmllZGVyIFBhYXBlIDxmcmllZGVyQHBh
+YXBlLmlvPiB3cm90ZToKPgo+IEhpLAo+Cj4gd291bGQgc2V0dGluZyB1cCBDSQoKaXQgc2hvdWxk
+IGJlIChiZWNhdXNlIHJldHJvc3BlY3RpdmVseSB3ZSBzaG91bGQgaGF2ZSB0aG91Z2h0IGFib2l0
+IGl0KQpob3dldmVyIGl0IHdhcyBub3QgcGxhbm5lZCwgc28gbm8sIHVubGVzcyB3ZSB3cml0ZSBh
+IHByb3Bvc2FsIHRvIGNvdmVyCml0LiAgdGhpcyB3aWxsIGludm9sdmUgc3BlY2lmaWNhbGx5IG1l
+bnRpb25pbmcgdGhlIGZhY3QgdGhhdCBpdCBpcwpkb2N1bWVudGluZyB0aGUgb25nb2luZyBzdWNj
+ZXNzIG9mIHRoZSBwcm9qZWN0LCBvciBzb21ldGhpbmcuCgo+YW5kIGZpeGluZyB0aGUgdGVzdHMg
+YmUgZWxpZ2libGUgZm9yIHJlY2VpdmluZyBOTG5ldAo+IGZ1bmRpbmc/Cgp5ZXMgdGhpcyBvbmUg
+d291bGQgYmUuLi4gZXhjZXB0IHRoZSBvbmx5IHRoaW5nIGlzIHdlIGFyZSBhbG1vc3Qgb3V0IG9m
+CmJ1ZGdldCBmb3IgdGhlIDIwMTktMDItMDEyIG1pbGVzdG9uZSBjb3ZlcmluZyB0aGUgSUVFRTc1
+NCBGUFUuCgphbmQgd2UgY2Fubm90IGp1c3QgdGFrZSBvdGhlciBidWRnZXRzLgoKaG93ZXZlciB3
+aGF0IHdlIGNhbiBwcm9iYWJseSBkbyBpcyBpZiBvdGhlciByZWxhdGVkIHRhc2tzIGFyZQpjb21w
+bGV0ZWQsIHBlcmhhcHMgdGhvc2UgcGF5IGEgdGlueSBiaXQgbW9yZSBnZW5lcm91c2x5IChvciwg
+YmVjYXVzZQp0aGV5IHdlcmUgYmFzZWQgb24gRVVSIGxpdmluZyBjb25kaXRpb25zLCB0aGF0IG1h
+eSBub3QgYmUgbmVjZXNzYXJ5KQoKcmVnYXJkbGVzcywgd2UgaGF2ZSB0byBiZSBleHRyZW1lbHkg
+Y2FyZWZ1bCBhYm91dCB0aGF0LgoKaWYgd2UgYWJzb2x1dGVseSBoYXZlIHRvIHRoZXJlIGRvZXMg
+ZXhpc3QgYSBjdW11bGF0ZWQgYnVkZ2V0IGZyb20KUHVyaXNtIHNwb25zb3JzaGlwLiAgaXQgaXMg
+bm90IGh1Z2UuCgpsLgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
+X19fX18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMu
+bGlicmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0
+aW5mby9saWJyZS1yaXNjdi1kZXYK
+