public inbox for [email protected]  

help / color / mirror / Atom feed

Messages from [email protected]

Fwd: Some deleted GUCs are still referred to
  2023-11-15 01:20 UTC  Peter Smith <[email protected]>

Re: Some deleted GUCs are still referred to
  2023-11-13 23:32 UTC  Peter Smith <[email protected]>

Some deleted GUCs are still referred to
  2023-11-08 23:51 UTC  Peter Smith <[email protected]>


3+ results

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox