Re: On disable_cost

[David Rowley]

On Tue, 29 Oct 2024 at 20:04, Laurenz Albe <laurenz.a...@cybertec.at> wrote:
> That patch is good in my opinion.

Thanks for checking. Pushed.

David