Hi,
On 2018-04-02 17:01:08 -0400, Stephen Frost wrote:
> * Andres Freund (and...@anarazel.de) wrote:
> > i.e. memory consumption differs between environments. Which isn't
> > surprising.
> >
> > I wonder if we could disable the display with a separate switch or tie
> > it to !'COSTS OFF && TIMING
Greetings,
* Andres Freund (and...@anarazel.de) wrote:
> i.e. memory consumption differs between environments. Which isn't
> surprising.
>
> I wonder if we could disable the display with a separate switch or tie
> it to !'COSTS OFF && TIMING OFF' or such?
Yeah, I agree with having these suppress
