Subject: Re: bug#28087: "guix build: error: no build log for gnu-store-pathto.drv" with previously offloaded successful build
From: zimoun <[email-masked]>
To: [email-masked] (Ludovic Courtès)
Cc: [email-masked], ng0 <[email-masked]>
Date: Mon, 14 Sep 2020 18:14:09 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Dear,

On Mon, 08 Jan 2018 at 15:36, [email-masked] (Ludovic Courtès) wrote:

> I’d suggest closing this bug unless you have more info to provide.

Since, it was 2 years ago, I am closing this bug.  Feel free to re-open
if there is more info to provide.

All the best,
simon