On Tue, Apr 4, 2017 at 6:24 AM, Dilip Kumar <dilipbalaut@gmail.com> wrote:
> While analyzing the coverage for the prefetching part, I found an
> issue that prefetch_pages were not updated properly while executing in
> parallel mode.
>
> Attached patch fixes the same.
Wow, OK. Committed.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company