Thanks everyone for the answers. This clears it up. Apologies for
submitting a duplicate issue on this, and I agree that it would benefit
from a bit of coverage in the docs.
On Fri, May 6, 2016 at 2:21 PM, Peter Geoghegan <pg(at)heroku(dot)com> wrote:
> On Fri, May 6, 2016 at 11:20 AM, Andres Freund <andres(at)anarazel(dot)de> wrote:
> > Maybe we should add a note to the docs then?
>
> I was just about to suggest that. It's getting out of hand.
>
> I'll look into it.
>
>
> --
> Peter Geoghegan
>
--
Casey