mirror of
https://github.com/postgres/postgres.git
synced 2025-08-17 01:02:17 +03:00
Just noticed that these were quite redundant, since we're holding the page address in a local variable anyway, and we have pin on the buffer throughout. Also improve a comment.