Hi Dave
On Thu, Nov 3, 2022 at 8:14 PM Dave Caughey wrote:
> If this is a known issue with a work-around, let me know. Otherwise, I
> can log a github issue.
>
> I haven't quite narrowed down the circumstances, but here's roughly the
> test case
>
>1. I fire up pgAdmin, and create a bunch o
If this is a known issue with a work-around, let me know. Otherwise, I can
log a github issue.
I haven't quite narrowed down the circumstances, but here's roughly the
test case
1. I fire up pgAdmin, and create a bunch of tabs, and stop work at the
end of the day, leaving pgAdmin open.
2
