"Pavan Deolasee" <pavan(dot)deolasee(at)gmail(dot)com> writes:
> The attached patch should fix this. We mark the buffer dirty only if there
> is any state change in the page header.
Applied, with minor additional tweak to avoid duplicate calls to
SetBufferCommitInfoNeedsSave --- that seems (just) expensive enough
to be worth the trouble.
regards, tom lane