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