On Thu, Aug 1, 2019 at 12:17 PM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:> (Probably not too important since I just pushed a bump an hour> or so earlier, but still.)
My mistake. I'll push a catversion bump commit shortly.
-- Peter Geoghegan