mirror of
https://github.com/postgres/postgres.git
synced 2026-05-20 23:53:42 -04:00
ab77b2da8b
Noah Misch spotted the fact that the old comment is in fact incorrect, due to memory ordering hazards.