On 10/09/2019 13.43, Arni Kromić wrote:
> Working with pgAdmin, I've found several bugs. Not sure if they are
> already reported; couldn't find them on Redmine, but perhaps I missed
> them. Maybe someone will recognize if they've already been reported.
> Here it goes...
Forgot to mention software version, it's pgAdmin 4.12 installed from the
upstream apt repo on Ubuntu 18.04LTS.
--
Kind Regards,
Arni Kromić