On 2017-09-10 17:12:19 -0700, Andres Freund wrote:> On 2017-09-11 09:10:49 +0900, Tatsuo Ishii wrote:> > If you don't mind, can you please commit/push the patch?> > Ok, will do so.
And, done. Thanks for patch and reminder!
- Andres