On Mon, Jun 10, 2019 at 07:56:12PM +0530, Kuntal Ghosh wrote:
> On Mon, Jun 10, 2019 at 7:19 PM Robert Haas <robertmhaas@gmail.com> wrote:
>> This whole thing looks like a nonissue to me. If you set it up wrong,
>> it won't work. So don't do that.
+1.
--
Michael