On 2025-May-22, Bruce Momjian wrote: > Ah, I see, fixed with the attached patch. It might be nice if we had a > more organized way of recording such commit corrections.
`git notes` can do that. They can also be used to indicate things such as commits being reverted. -- Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/ Are you not unsure you want to delete Firefox? [Not unsure] [Not not unsure] [Cancel] http://smylers.hates-software.com/2008/01/03/566e45b2.html
