Re: [PATCH] Remove legacy -gz=zlib-gnu

[Martin Liška]

On 9/21/22 09:36, Richard Biener wrote:
> If it's all configure time what's the point in
> "deprecating" it?

Note it's one of our options -gz where 'zlib-gnu' is one of the possible option 
values.

Martin