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 < [email protected]> wrote: > > > On Sun, Jun 16, 2019 at 11:16 PM Avin Kavish <[email protected]> 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? >
