On Thu, Jul 05, 2018 at 03:10:33AM +0900, Fujii Masao wrote:
> On Tue, Jul 3, 2018 at 11:28 AM, Michael Paquier <michael@paquier.xyz> wrote:
> Thanks for the review! So, committed.
Thanks.
>> (please indent!).
>
> Hmm.. I failed to find indent issue in my patch... But anyway
> future execution of pgindent will fix that even if it exists.
md.c is telling a rather different story ;)
Well, spurious noise when touching the same files for a different patch
is annoying... I have made the experience already for a couple of
commits.
--
Michael