On Fri, Nov 05, 2021 at 12:31:42PM +0900, Ken Kato wrote: > I found unnecessary line deletion in my previous patch, so I made a minor > update for that.
I have looked at this version, and this is much simpler than what was proposed upthread. This looks good, so applied after fixing a couple of indentation issues in the list of objects after COMMENT ON. -- Michael
signature.asc
Description: PGP signature
