On Thu, 10 Aug 2023 at 02:37, David Rowley <dgrowleyml@gmail.com> wrote: > unfortunately, we didn't link to discussions in commit messages back > then. It might be worth you searching the archives shortly before > that date to see if anything interesting comes up.