On Thu, Jul 19, 2018 at 1:28 PM, Heikki Linnakangas <hlinn...@iki.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
