On 03/27/2017 04:38 PM, Peter Eisentraut wrote:
> Committed.
Thanks!
> While digging around a bit, I found in release-old.sgml that before
> PostgreSQL 7.2, pg_clog was called pg_log. Go figure.
Yeah, I noticed that too when writing the patch. :)
Andreas