On 2023-Jul-04, Daniel Gustafsson wrote:
> > On 4 Jul 2023, at 17:05, Dave Page <dpage@pgadmin.org> wrote:
>
> > Please re-check!
>
> Tested and verified to work in Firefox, Safari, Chrome and Edge. Thanks!
Confirmed, it looks good to me too. Thanks for fixing it!
--
Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/