On 1/11/19 10:25 PM, Magnus Hagander wrote:
> On Fri, Jan 11, 2019 at 9:20 PM Tomas Vondra
> On 1/11/19 7:40 PM, Robert Haas wrote:
> > But I'm tentatively in favor of your proposal anyway, because it's
> > pretty simple and cheap and might help people, and doing something
> > noticeably better is probably annoyingly complicated.
> >
>
> +1
>
> Yeah, that's the idea behind it -- it's cheap, and an
> early-warning-indicator.
+1
--
-David
david@pgmasters.net