* Peter Eisentraut (peter.eisentraut@2ndquadrant.com) wrote:
> 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.
Dave's currently hacking on a new patch based on our discussion, so I'd
suggest waiting another hour or so anyway until he's done.
Might be a bit longer as he's trying to do it in a hallway at
PGConf.US...
Thanks!
Stephen
