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