mirror of
https://github.com/postgres/postgres.git
synced 2026-06-03 06:18:35 -04:00
81d08fcffe
they don't themselves flush any cache entries, only add to to-do lists that will be processed later.