Re: [PATCH] Introduce -nolibstdc++ option

[Gerald Pfeifer]

On Thu, 30 Mar 2023, Alexandre Oliva wrote:
> How about this, does this seem useful?

I like it - helpful and easy to understand. :-)

Gerald