On 27 Feb 2023, Luis Chamberlain outgrape: > Cover letters die, commit logs don't. So use it either as part of the > commit log or refer to this thread on the commit log. You can also try > to condense / paraphrase my description somehow too. Hm. The commit logs have partly been pulled into other trees and are thus to a degree set in stone. I can cite your post in the upcoming pushes though, and in the -rc3 "whatever is left". Thanks for the advice :) -- NULL && (void)
