On Tuesday, June 24, 2014 03:12 CEST, Robert Haas wrote:
> On Mon, Jun 23, 2014 at 6:58 PM, Greg Stark wrote:
> > On Mon, Jun 23, 2014 at 3:09 PM, Robert Haas wrote:
> >> However, we don't know of anyone who has tried to do this in a very
> >> long time, and are therefore considering removing
On Tuesday, June 24, 2014 13:37 CEST, "Sebastian Reitenbach"
wrote:
> On Tuesday, June 24, 2014 03:12 CEST, Robert Haas
> wrote:
>
> > On Mon, Jun 23, 2014 at 6:58 PM, Greg Stark wrote:
> > > On Mon, Jun 23, 2014 at 3:09 PM, Robert Haas
> > > wro
