On 2020-10-12 13:36, Michael Paquier wrote:
On Mon, Oct 12, 2020 at 03:39:51PM +0900, Masahiko Sawada wrote:Yes, this patch resolves the problem.Okay, applied then.
Could you adjust the generation script so that the resulting header file passes the git whitespace check? Check the output of
git show --check 80f8eb79e24d9b7963eaf17ce846667e2c6b6e6f -- Peter Eisentraut http://www.2ndQuadrant.com/ PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services