On Sat, May 04, 2019 at 12:15:19AM -0700, Noah Misch wrote:
> I pushed Jeff's patch.
Upon resolution, could you move the related open item on the wiki
page to the list of resolved issues [1]?
[1]: https://wiki.postgresql.org/wiki/PostgreSQL_12_Open_Items#resolved_before_12beta1
--
Michael