lilypond-user
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Guile REPL Server

From: Hendursaga
Subject: Re: Guile REPL Server
Date: Tue, 17 May 2022 21:52:57 -0400 
> Yes, it is an additional nuisance for building. I think the strategic value 
> of it would offset that.

I concur with David, although I'm not sure how much help I can be updating the 
build scripts. I personally would consider it low to medium priority, though 
I'm not sure how you maintainers and devs do triage.

~ Hendursaga
reply via email to
[Prev in Thread] Current Thread [Next in Thread]