Hi,
On 2018-06-11 17:39:14 -0700, Andres Freund wrote:> I plan to go over the change again tomorrow, and then push. Unless> somebody has comments before then, obviously.
Done.
- Andres