On 1 June 2018 at 18:24, Richard Henderson richard.henderson@linaro.org wrote:
[ How odd. I could find no record that the message to which you are replying was ever actually sent. I assumed I simply closed the window instead of hitting send. And thus I just now sent a second reply. ]
Our mailing list server apparently sat on it over the weekend for some reason:
Received: by lists.linaro.org (Postfix, from userid 109) id 43DCB619F3; Mon, 4 Jun 2018 14:58:52 +0000 (UTC) X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on ip-10-142-244-252 X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL autolearn=disabled version=3.4.0 Received: from [127.0.0.1] (localhost [127.0.0.1]) by lists.linaro.org (Postfix) with ESMTP id 1F544617CD; Mon, 4 Jun 2018 14:58:40 +0000 (UTC) X-Original-To: linaro-toolchain@lists.linaro.org Delivered-To: linaro-toolchain@lists.linaro.org Received: by lists.linaro.org (Postfix, from userid 109) id 750F361775; Fri, 1 Jun 2018 15:53:02 +0000 (UTC) Received: from mail-pl0-f67.google.com (mail-pl0-f67.google.com [209.85.160.67]) by lists.linaro.org (Postfix) with ESMTPS id 2067E617C0 for linaro-toolchain@lists.linaro.org; Fri, 1 Jun 2018 15:53:01 +0000 (UTC)
thanks -- PMM