On Tue, 2025-09-30 at 22:31 +0900, Yugo Nagata wrote:
> > You used the <option> tag, which I believe is correct, but the surrounding
> > code uses <literal>. I don't think it renders differently, but I think it
> > would be good to use the same tag. I suggest that you change the
> > surrounding code to use <option> as well.
>
> Agreed. I fixed it to use <option>, as well as in other place where I think
> <option> is appropriate. Please find the attached patch.
I'll mark it "eeady for committer". A committer can decide whether to apply
this to HEAD or not. I probably would, and revert it if PostgreSQL + Meson +
Windows learns to produce bitcode.
Yours,
Laurenz Albe
