Flexible partition pruning hook

2019-09-30 18:02:23 Álvaro Herrera (alvherre) Closed in commitfest 2019-09 with status: Returned with feedback 2019-09-21 00:20:31 Álvaro Herrera (alvherre) New status: Waiting on Author 2019-08-01 23:35:44 Thomas Munro (macdice) Closed in commitfest 2019-07 with status: Moved to next CF 2019-04-06 02:06:46 Andres Freund (andresfreund) Closed in commitfest 2019-03 with status: Moved to next CF 2019-04-06 02:06:42 Andres Freund (andresfreund) Changed targetversion to 13 2019-02-26 17:12:35 Mike Palmiotto (mpalmiotto) Changed authors to Mike Palmiotto (mpalmiotto) 2019-02-26 17:12:07 Mike Palmiotto (mpalmiotto) Changed targetversion to 12 2019-02-26 17:11:53 Mike Palmiotto (mpalmiotto) Attached mail thread CAMN686HzMrb5oPJN4hTqFYE1+3BJb3k__Ks+-q0c-q3k_wVveA@mail.gmail.com 2019-02-26 17:11:52 Mike Palmiotto (mpalmiotto) Created patch record