[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Gambit v4.9.4 problems

From: Jose Antonio Ortega Ruiz
Subject: Re: Gambit v4.9.4 problems
Date: Mon, 07 Feb 2022 22:44:01 +0000

On Mon, Feb 07 2022, Tara Lorenz wrote:

> [Sorry for the late reply, somehow the mail escaped my attention.]
> Hi Jose,
> Jose A Ortega Ruiz <> writes:
>> Since nobody has complained, i am fine applying your patch to the
>> geiser-gambit repo, at least to the unstable version in the master
>> branch, and perhaps wait to tag a version until your gambit patch is
>> released... or should we wait for that before merging anything?
> i think the time is ripe. The gambit patch is applied upstream.
> So i have no considerations.

done, thanks!

The enjoyment of one's tools is an essential ingredient of successful
work. – Donald E. Knuth

reply via email to

[Prev in Thread] Current Thread [Next in Thread]