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ć
