On Tue, Jul 31, 2018 at 1:17 PM, Andres Freund <and...@anarazel.de> wrote: > I'm a bit surprised that you decided to push to the 11 branch - the > consensus in this thread seem to have gone the other way by my read? > Given that that's the rule, and pushing non-fixes is the exception, I'm > not particularly ok with just ignoring that?
+1 -- Peter Geoghegan
