Re: Global modification of #:make-flags

[Sergio Pastor Pérez]

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.