Re: Global modification of #:make-flags

[Sarthak Shah]

Hello!
I am sorry for the late reply; I'm a bit busy with academics at the moment, and I unfortunately did not have the time to open up an issue.

Thank you for reminding me about this, I'll try and make an issue as soon as time permits!

Best,

Sarthak.

On Wed, Jan 22, 2025 at 9:42 AM Sergio Pastor Pérez <sergio.pastorperez@outlook.es> wrote:

Hello!

On 8/23/24 11:01, Sarthak Shah wrote:
> I will open an issue on the debbugs as soon as I have time to update my
> patch!

Did you have time to open the issue?
If anyone knows where I could track the progress, please let me know.

Regards,
Sergio.