On 3/28/17 12:19, Dave Page wrote:
> On Tue, Mar 28, 2017 at 11:39 AM, Peter Eisentraut
> <peter.eisentraut@2ndquadrant.com> wrote:
>> On 3/28/17 11:34, Dave Page wrote:
>>> On Tue, Mar 28, 2017 at 11:31 AM, Peter Eisentraut
>>> <peter.eisentraut@2ndquadrant.com> wrote:
>>>> This patch touches the pg_buffercache and pg_freespacemap extensions,
>>>> but there appear to be some files missing.
>>>
>>> Are you looking at an old version? There was one where I forgot to add
>>> some files, but that was fixed within an hour or so in a new version.
>>
>> What is the name and date or your latest patch?
>
> pg_monitor_v4.diff, 23rd March.
That is the patch I was looking at, and it's the one that is missing files.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services