* Peter Eisentraut (peter.eisentr...@2ndquadrant.com) wrote: > On 3/28/17 12:19, Dave Page wrote: > > On Tue, Mar 28, 2017 at 11:39 AM, Peter Eisentraut > > <peter.eisentr...@2ndquadrant.com> wrote: > >> On 3/28/17 11:34, Dave Page wrote: > >>> On Tue, Mar 28, 2017 at 11:31 AM, Peter Eisentraut > >>> <peter.eisentr...@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
Description: Digital signature