[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] Get rid of special encoding for qualified
From: |
felix . winkelmann |
Subject: |
Re: [Chicken-hackers] [PATCH] Get rid of special encoding for qualified symbols (fixes #1077) |
Date: |
Sat, 12 Jan 2019 20:11:51 +0100 |
> On Wed, Jan 09, 2019 at 05:06:00PM +0100, address@hidden wrote:
> > > If everyone is okay with this, I can try to find some time to do it
> > > this weekend.
> >
> > Sounds good. Attached are the signed-off patches.
>
> Thanks, I've published the snapshot and updated the bootstrap.sh script.
I think the bootstrap-script is still the same.
felix