GNU bug report logs - #38605
[WIP MLton 0/1] Add MLton

Previous Next

Package: guix-patches;

Reported by: Brett Gilio <brettg <at> posteo.net>

Date: Sat, 14 Dec 2019 03:59:02 UTC

Severity: normal

Done: zimoun <zimon.toutoune <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

Message #46 received at 38605-done <at> debbugs.gnu.org (full text, mbox):

From: zimoun <zimon.toutoune <at> gmail.com>
To: Brett Gilio <brettg <at> posteo.net>
Cc: 38605-done <at> debbugs.gnu.org
Subject: Re: bug#38605: [WIP MLton 0/1] Add MLton
Date: Wed, 04 May 2022 13:58:11 +0200

Hi,

On Tue, 12 Apr 2022 at 12:21, zimoun <zimon.toutoune <at> gmail.com> wrote:
> On Mon, 14 Sep 2020 at 19:36, zimoun <zimon.toutoune <at> gmail.com> wrote:
>
>> Digging in old unmerged patches, I hit this one. :-)
>
> The last interaction of this WIP patch #38605 [1] about MLton is from 1
> year, 29 weeks, 6 days ago.  Whereas the discussion in this thread about
> bootstrap strategies is really worth, I am going to close the submission
> soon.
>
> 1: <http://issues.guix.gnu.org/issue/38605>
>

Well, after 3 weeks, 1 day, 1 hour ago. I am closing.


Cheers,
simon
This bug report was last modified 3 years and 23 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.