On Tue, Sep 5, 2017 at 6:17 PM, Peter Eisentraut <
peter(dot)eisentraut(at)2ndquadrant(dot)com> wrote:
> The attached patch fixes the issue discussed in
> <https://www.postgresql.org/message-id/flat/20170728120244.1449.87477%
> 40wrigleys.postgresql.org>.
>
>
Applied, thanks!
--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>