Re: Changing shared_buffers without restart

[Peter Eisentraut]

On 19.11.24 14:29, Dmitry Dolgov wrote:
I noticed the existing code made inconsistent use of PGShmemHeader * vs.
void *, which also bled into your patch.  I made the attached little patch
to clean that up a bit.
Right, it was bothering me the whole time, but not strong enough to make
me fix this in the PoC just yet.

I committed a bit of this, so check that when you're rebasing your patch 
set.