On 2016-12-07 13:20:04 -0500, Robert Haas wrote:
> On Wed, Dec 7, 2016 at 11:53 AM, Erik Rijkers <er@xs4all.nl> wrote:
> >> My bad. The fix I sent last night for one of the cache flush issues
> >> wasn't quite right. The attached seems to fix it.
> > Yes, fixed here too. Thanks.
>
> Thanks for the report - that was a good catch.
Congrats to everyone working on this! This is a large step forward.
- Andres