mirror of
https://github.com/postgres/postgres.git
synced 2025-11-21 00:42:43 +03:00
a replan. I had originally thought this was not necessary, but the new SPI facilities create a path whereby queries planned with non-default options can get into the cache, so it is necessary.