I might me on the wrong mailing list, is this the one for the pgAdmin
developers?
On Mon, Jun 17, 2019 at 9:37 AM Khushboo Vashi <
khushboo(dot)vashi(at)enterprisedb(dot)com> wrote:
>
>
> On Sun, Jun 16, 2019 at 11:16 PM Avin Kavish <avinkavish(at)gmail(dot)com> wrote:
>
>> Hi, I would like the option to switch to the old two-tone header with the
>> elephant please
>>
> I would like to know what is the need for this request?
>