On Thu, Aug 1, 2019 at 12:17 PM Tom Lane <[email protected]> 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


Reply via email to