mirror of
https://git.postgresql.org/git/postgresql.git
synced 2026-02-06 07:17:42 +08:00
They were accidentally excluded when reverting the backend online checksum functionality, and since they weren't built the incorrect reference to a removed section also did not trigger a problem. Author: Christoph Berg