On Thu, Jul 19, 2018 at 1:28 PM, Heikki Linnakangas <hlinnaka(at)iki(dot)fi> wrote:
> Seems that I broke this shortly afterwards, by commit 7b02ba62e9. Pushed,
> thanks!
Oh, OK. Thanks!
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company