mirror of
https://github.com/postgres/postgres.git
synced 2025-07-26 01:22:12 +03:00
It's been 16 bytes, not 12, for ages. This was fixed in passing in HEAD
(commit 146604ec
), but as a factual error it should have been back-patched.
Per gripe from Tatsuhito Kasahara.