On Thu, May 14, 2026 at 11:30:15AM -0400, Bruce Momjian wrote: > On Wed, May 6, 2026 at 10:13:03AM -0400, Tom Lane wrote: > > "David G. Johnston" <[email protected]> writes: > > > On Wed, May 6, 2026 at 6:52 AM Tom Lane <[email protected]> wrote: > > >> I'm inclined to try to fix it via formatting: change HH and MM to > > >> lower case and wrap them in <replaceable> so they render in italics. > > > > > And isn't replaceable usually something the user is expected to provide a > > > value for - not something the system populates? > > > > No, I think it just means "this word is not literally what you'd see > > or type". > > I came up with the attached patch. I think 'mm' is just too much like > months so I sent with 'mi', and the "replaceable" tag was already there.
Patch applied and backpatched to PG 19. -- Bruce Momjian <[email protected]> https://momjian.us EDB https://enterprisedb.com Do not let urgent matters crowd out time for investment in the future.
