| From: | David Rowley <dgrowleyml(at)gmail(dot)com> |
|---|---|
| To: | Daniel Gustafsson <daniel(at)yesql(dot)se> |
| Cc: | Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org>, Bruce Momjian <bruce(at)momjian(dot)us>, "Jonathan S(dot) Katz" <jkatz(at)postgresql(dot)org>, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, Muhammad Ikram <mmikram(at)gmail(dot)com>, pgsql-docs(at)lists(dot)postgresql(dot)org |
| Subject: | Re: A minor bug in doc. Hovering over heading shows # besides it. |
| Date: | 2024-11-06 19:34:28 |
| Message-ID: | CAApHDvoYqO23K0jMnnW_cARRS94TTSB0vxOVKF2Sdn89avcaBw@mail.gmail.com |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-docs |
On Thu, 7 Nov 2024 at 03:58, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>
> > On 6 Nov 2024, at 15:51, Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org> wrote:
> > Ah, but we kept the #? I thought it was going to be changed to ¶ ...
> > was there any voice against that?
>
> You're right, I mistakenly remembered there being no concensus and didn't
> re-read the thread when it was revived with the patch in question. Re-reading
> it now I see multiple +1's for using a ¶ instead so will fix that. Thanks for
> the heads-up.
I see in the release notes we're using §. I'm not advocating for any
particular one, but would it make sense to be consistent on which
character we use for this?
David
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Daniel Gustafsson | 2024-11-06 19:39:35 | Re: A minor bug in doc. Hovering over heading shows # besides it. |
| Previous Message | David Rowley | 2024-11-06 19:31:35 | Re: A minor bug in doc. Hovering over heading shows # besides it. |