mirror of
https://github.com/postgres/postgres.git
synced 2026-05-29 20:14:55 -04:00
3531383224
no part of the planner did CHECK_FOR_INTERRUPTS(). Add one in a suitably strategic spot.