Re: High-res Customize icons

[Eli Zaretskii]

> Cc: address@hidden, address@hidden, address@hidden, address@hidden,
>  address@hidden, address@hidden
> From: Clément Pit-Claudel <address@hidden>
> Date: Sat, 25 Apr 2020 08:37:53 -0400
> 
> On 25/04/2020 03.02, Eli Zaretskii wrote:
> > I asked whether other programs do that, and if that is considered a
> > good idea.  The only reply I got seemed to suggest this is not
> > something program usually do or consider a good idea.  Which is what
> > I'd expect.
> 
> Sorry, I thought I had replied.

You did.  Yours was the only response I alluded to.

Thanks.