On Thu, Mar 09, 2023 at 10:34:12AM +0100, Alvaro Herrera wrote:> Please add this commit to .git-blame-ignore-revs.
Thanks, done.--Michael