Subject: Re: Should we remove db_user_namespace?

From: Nathan Bossart <[email-masked]>
Date: Fri, 30 Jun 2023 15:27:50 -0700

On Sat, Jul 01, 2023 at 12:13:26AM +0200, Magnus Hagander wrote:
> Strong +1 from here for removing it, assuming you don't find a bunch
> of users on -general who are using it. Having never come across one
> myself, I think it's unlikely, but I agree it's good to ask.

Cool.  I'll let that thread [0] sit for a while.

[0] https://postgr.es/m/20230630215608.GD2941194%40nathanxps13

-- 
Nathan Bossart
Amazon Web Services: https://aws.amazon.com