On Wed, May 29, 2019 at 12:09:08PM -0400, Alvaro Herrera wrote: > Are there objections to doing that now on the master branch?
Adding the flush call just on HEAD is fine for me. Not sure that there is an actual reason to back-patch that. -- Michael
signature.asc
Description: PGP signature
