[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] Get rid of special encoding for qualified
|
From: |
Peter Bex |
|
Subject: |
Re: [Chicken-hackers] [PATCH] Get rid of special encoding for qualified symbols (fixes #1077) |
|
Date: |
Sun, 13 Jan 2019 00:57:05 +0100 |
|
User-agent: |
NeoMutt/20170113 (1.7.2) |
On Sat, Jan 12, 2019 at 08:11:51PM +0100, address@hidden wrote:
> > 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.
Right you are. I just forgot to push, but I've fixed that now.
Thanks for pointing it out!
Cheers,
Peter
signature.asc
Description: PGP signature