On Tue, Jan 09, 2018 at 01:46:55PM -0800, Andres Freund wrote: > On 2018-01-09 10:23:12 -0500, Robert Haas wrote: > > On Mon, Jan 8, 2018 at 11:27 PM, Michael Paquier > > <michael.paqu...@gmail.com> wrote: > > > On Thu, Dec 28, 2017 at 10:46:18PM +0000, Bossart, Nathan wrote: > > >> I agree, this makes more sense. I've made this change in v3 of 0003. > > > > > > Based on the opinions gathered on this thread, 0001 and 0002 seem to be > > > in the shape wanted, and those look good for shipping. > > > > Committed 0001. > > FWIW, I think in the future it'd be good to develop new features outside > of a thread about "vacuum crashes".
You are right atht this is bad practice. Partially my fault for not recommending the move to a new thread. -- Michael
signature.asc
Description: PGP signature
